Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
53.49 EUR
Ein kompaktes Werk, das die wichtigsten Ergebnisse der TPHOLs‑Konferenz 2009 in München präsentiert; es beleuchtet innovative Ansätze zur automatischen Beweiserstellung in höheren Logiken und liefert praxisnahe Beispiele für theoretische Informatiker.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
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
02-06-2026 19:23:58
SpringerLink DE
Gesponsert
Galaxus.de
Theorem Proving in Higher Order Logics, Fachbücher von Tobias Nipkow, Makarius Wenzel, Stefan Berghofer, Christian Urban
Galaxus.de
02-06-2026 06:07:37
Ähnliche Produkte
Theorem Proving in Higher Order Logics
53.49 EUR
Theorem Proving in Higher Order Logics
53.49 EUR
Theorem Proving in Higher Order Logics
53.49 EUR
