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

Ein dreibändiges Lehrwerk, das die Theorie der automatisierten Deduktion von Grundprinzipien über systemische Implementierungen bis zu konkreten Anw ...
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: 13-05-2026 01:18:32
Siehe Produktangebot
Gesponsert
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher
Galaxus.de
160.49 EUR
Preis aktualisiert am: 12-05-2026 16:54:59
Siehe Produktangebot

Allgemein

Marke
Springer Netherlands
ISBN
Springer Netherlands 9048150523
MPN
Springer Netherlands biography

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 (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
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 8, Band 8)
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
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ü