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)

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

Allgemein

Marke
Boulton, Richard J.
ISBN
Boulton, Richard J. 354042525X
MPN
Boulton, Richard J. 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
Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Aus120.34 EUR 4
Produkt anzeigen
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Aus85.59 EUR 4
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus52.94 EUR 4
Produkt anzeigen
Mechanical Geometry Theorem Proving (Mathematics and Its Applications) (Mathematics and Its Applications, 41, Band 41)
Mechanical Geometry Theorem Proving (Mathematics and Its Applications) (Mathematics and Its Applications, 41, Band 41)
Aus106.99 EUR 3
Produkt anzeigen
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Aus92.94 EUR 3
Produkt anzeigen
Menü