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

- 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, 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

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540283720
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 414
  • Veröffentlicht:
  • 8. August 2005
  • Ausgabe:
  • 2005
  • Abmessungen:
  • 234x156x21 mm.
  • Gewicht:
  • 1310 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Theorem Proving in Higher Order Logics

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.

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.