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)

Higher Order Logics
Wo zu kaufen (3) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 09:00:48
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 23:48:44
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 25-09-2026 04:18:07
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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)
Aus53.49 EUR 3
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)
Aus53.49 EUR 3
Produkt anzeigen
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859, Band 859)
Aus53.49 EUR 3
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)
Aus53.49 EUR 3
Produkt anzeigen
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Aus53.49 EUR 2
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
Aus109.99 EUR 1
Produkt anzeigen
Menü