Theorem Proving in Higher Order Logics

Wo zu kaufen (2) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 06:49:56
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt
Galaxus.de
53.49 EUR
Preis aktualisiert am: 26-04-2026 21:14:53
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
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
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
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Produkt anzeigen
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Menü