Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)
Medimops DE
53.46 EUR
Preis aktualisiert am: 13-06-2026 10:51:10
Siehe Produktangebot
Gesponsert
Automated Deduction in Equational Logic and Cubic Curves
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 13-06-2026 18:28:57
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

9th International Conference on Automated Deduction
9th International Conference on Automated Deduction
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
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 ¿ 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
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)
Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)
Produkt anzeigen
Menü