Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science)

Die Ausgabe der TPHOLs‑Konferenz 2009 bietet einen Überblick über neueste Theorem-Proving-Techniken in höheren Logiksystemen, ergänzt durch prax ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 23:43:24
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-05-2026 21:55:08
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics, Fachbücher von Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian Urban
Galaxus.de
53.49 EUR
Preis aktualisiert am: 10-05-2026 19:59:40
Siehe Produktangebot

Allgemein

Marke
Stefan Berghofer
ISBN
Stefan Berghofer 364203358X
MPN
Stefan Berghofer biography

Eigenschaften

Ähnliche Produkte

Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Produkt anzeigen
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603, Band 3603)
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3603, Band 3603)
Produkt anzeigen
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science, 2410, Band 2410)
Produkt anzeigen
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science (1479), Band 1479)
Produkt anzeigen
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152, Band 2152)
Produkt anzeigen
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Produkt anzeigen
Menü