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 (2) Eigenschaften
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: 27-04-2026 19:31:47
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:16:00
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Produkt anzeigen
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Produkt anzeigen
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Produkt anzeigen
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Produkt anzeigen
Automated Theorem Proving
Automated Theorem Proving
Produkt anzeigen
Menü