Theorem Proving with Analytic Tableaux and Related Methods

Ein Fachband aus dem TABLEAUX‑95 Workshop in St. Goar, der analytische Tafeln und verwandte Verfahren im Theorem Proving untersucht; präsentiert ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Theorem Proving with Analytic Tableaux and Related Methods
Hugendubel
53.49 EUR
Preis aktualisiert am: 04-11-2026 04:27:06
Siehe Produktangebot
Gesponsert
Theorem Proving with Analytic Tableaux and Related Methods
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:18:41
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540593381
MPN
Springer Berlin Heidelberg 6903007

Eigenschaften

Ähnliche Produkte

Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Aus47.00 EUR 2
Produkt anzeigen
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development
Aus80.00 EUR 2
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus47.00 EUR 2
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus47.00 EUR 2
Produkt anzeigen
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)
Aus53.49 EUR 3
Produkt anzeigen
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)
Aus53.49 EUR 3
Produkt anzeigen
Menü