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. Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

- 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

enthalten in Theoretical Computer Science and General Issues-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Theorem Proving in Higher Order Logics
Über Theorem Proving in Higher Order Logics

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540710653
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 321
  • Veröffentlicht:
  • 30. Juli 2008
  • Ausgabe:
  • 2008
  • Abmessungen:
  • 234x156x17 mm.
  • Gewicht:
  • 516 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Theorem Proving in Higher Order Logics

Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Kund*innenbewertungen von Theorem Proving in Higher Order Logics



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Theorem Proving in Higher Order Logics 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.