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

Wo zu kaufen (1) 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

Allgemein

Marke
Springer Netherlands

Eigenschaften

Ähnliche Produkte

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 (Applied Logic Series, 10, Band 10)
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 – 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 ¿ CADE 29
Automated Deduction ¿ CADE 29
Produkt anzeigen
9th International Conference on Automated Deduction
9th International Conference on Automated Deduction
Produkt anzeigen
Menü