Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223)

Higher Order Logics
Wo zu kaufen (3) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics
Hugendubel
53.49 EUR
Preis aktualisiert am: 27-10-2026 10:46:34
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science, 3223, Band 3223)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:07:52
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:47
Siehe Produktangebot

Allgemein

Marke
Gopalakrishnan, Ganesh C.
ISBN
Gopalakrishnan, Ganesh C. 3540230173
MPN
Gopalakrishnan, Ganesh C. Illustrations

Eigenschaften

Ähnliche Produkte

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Aus69.49 EUR 3
Produkt anzeigen
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Theorem Proving with the Real Numbers (Distinguished Dissertations)
Aus93.80 EUR 5
Produkt anzeigen
Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Aus120.34 EUR 4
Produkt anzeigen
Current Trends in Hardware Verification and Automated Theorem Proving
Current Trends in Hardware Verification and Automated Theorem Proving
Aus102.34 EUR 4
Produkt anzeigen
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Automated Theorem Proving in Software Engineering
Automated Theorem Proving in Software Engineering
Aus52.94 EUR 4
Produkt anzeigen
Menü