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)

Ein dreibändiges Lehrwerk über automatisierte Deduktion: Band I legt die theoretische Basis mit klaren Formeln und Beweisstrategien, Band II erl ...
Volume II Applications Volume
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 Applications (Applied Logic Series, 8, Band 8)
Medimops DE
174.35 EUR
Preis aktualisiert am: 13-05-2026 04:43:05
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
213.99 EUR
Preis aktualisiert am: 13-05-2026 00:42:03
Siehe Produktangebot

Allgemein

Marke
Wolfgang Bibel
ISBN
Wolfgang Bibel 0792351290

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, 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
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ü