bokomslag Intensional Logics for Programming
Data & IT

Intensional Logics for Programming

Luis Farias Del Cerro

Inbunden

719:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 230 sidor
  • 1992
Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.
  • Författare: Luis Farias Del Cerro
  • Format: Inbunden
  • ISBN: 9780198537755
  • Språk: Engelska
  • Antal sidor: 230
  • Utgivningsdatum: 1992-08-01
  • Förlag: Clarendon Press