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 (2) Eigenschaften
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: 11-05-2026 10:17:54
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-05-2026 09:35:45
Siehe Produktangebot

Allgemein

Marke
Boulton, Richard J.
ISBN
Boulton, Richard J. 354042525X
MPN
Boulton, Richard J. Illustrations

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
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)
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
Interactive Theorem Proving
Interactive Theorem Proving
Produkt anzeigen
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
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)
Produkt anzeigen
Menü