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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 07-04-2025 16:23:58
Siehe Produktangebot
Gesponsert
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Hugendubel
213.99 EUR
Preis aktualisiert am: 27-12-2025 16:55:22
Siehe Produktangebot

Allgemein

Marke
Springer Netherlands

Eigenschaften

Ähnliche Produkte

Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
Produkt anzeigen
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
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
9th International Conference on Automated Deduction
9th International Conference on Automated Deduction
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
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ü