Theorem Proving in Higher Order Logics

Wo zu kaufen (2) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics, Fachbücher von Jens Brandt, Klaus Schneider
Galaxus.de
53.49 EUR
Preis aktualisiert am: 06-09-2026 08:01:39
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:25
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
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
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
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
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
Menü