Theorem Proving in Higher Order Logics

Wo zu kaufen (2) Eigenschaften
Gesponsert
Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:56:57
Siehe Produktangebot
Gesponsert
Theorem Proving in Higher Order Logics
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:51
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
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
Aus106.99 EUR 3
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus52.94 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)
Aus96.29 EUR 3
Produkt anzeigen
Theorem Proving with Analytic Tableaux and Related Methods
Theorem Proving with Analytic Tableaux and Related Methods
Aus53.49 EUR 2
Produkt anzeigen
Using Sophisticated Models in Resolution Theorem Proving
Using Sophisticated Models in Resolution Theorem Proving
Aus53.49 EUR 2
Produkt anzeigen
Menü