Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Intensional Logics for Programming

Intensional Logics for Programming

del av Studies in Logic and Computation-serien

Intensional Logics for Programming
Om Intensional Logics for Programming

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198537755
  • Format:
  • Inbunden
  • Sidor:
  • 230
  • Utgiven:
  • 27. augusti 1992
  • Mått:
  • 162x241x18 mm.
  • Vikt:
  • 510 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 4. april 2025

Beskrivning av Intensional Logics for Programming

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.

Användarnas betyg av Intensional Logics for Programming



Andra köpte även...
Hitta liknande böcker
Boken Intensional Logics for Programming finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.