Theorem Proving with Analytic Tableaux and Related Methods

With Analytic Tableaux and
Wo zu kaufen (2) Eigenschaften
Gesponsert
Theorem Proving with Analytic Tableaux and Related Methods
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:08:42
Siehe Produktangebot
Gesponsert
Theorem Proving with Analytic Tableaux and Related Methods
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:05
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Aus120.34 EUR 4
Produkt anzeigen
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Aus53.49 EUR 2
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
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: 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)
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
Menü