Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Volume II Applications Volume
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher von Wolfgang Bibel, P. H. Schmitt
Galaxus.de
213.99 EUR
Preis aktualisiert am: 21-08-2026 02:55:53
Siehe Produktangebot
Gesponsert
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
SpringerLink DE
236.00 EUR
Preis aktualisiert am: 07-09-2026 11:18:45
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Produkt anzeigen
Automated Deduction
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)
Produkt anzeigen
Automated Deduction
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 10, Band 10)
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Produkt anzeigen
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)
Produkt anzeigen
Automated Deduction
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Produkt anzeigen
Menü