Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Logic and Computation

Logic and Computation

- Interactive Proof with Cambridge LCF

von Lawrence C. (University of Cambridge) Paulson

enthalten in Cambridge Tracts in Theoretical Computer Science-Reihe

Logic and Computation von Lawrence C. (University of Cambridge) Paulson
Über Logic and Computation

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521395601
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 320
  • Veröffentlicht:
  • 26. Juli 1990
  • Abmessungen:
  • 187x247x19 mm.
  • Gewicht:
  • 574 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Lawrence C. (University of Cambridge) Paulson

Alle Bücher von Lawrence C. (University of Cambridge) Paulson anzeigen

Beschreibung von Logic and Computation

A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

Kund*innenbewertungen von Logic and Computation



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Logic and Computation ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.