Automated Theorem Proving (Artificial Intelligence) (Künstliche Intelligenz)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Theorem Proving (Artificial Intelligence): A Logical Basis (Künstliche Intelligenz)
Medimops DE
99.59 EUR
Preis aktualisiert am: 28-10-2026 17:50:42
Siehe Produktangebot
Gesponsert
Automated Theorem Proving
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 09:09:43
Siehe Produktangebot
Gesponsert
Automated Theorem Proving
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:48:23
Siehe Produktangebot

Allgemein

Marke
Wolfgang Bibel
ISBN
Wolfgang Bibel 3528185201
MPN
Wolfgang Bibel biography

Eigenschaften

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice
Automated Theorem Proving: Theory and Practice
Aus120.34 EUR 4
Produkt anzeigen
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Aus96.29 EUR 3
Produkt anzeigen
Automated Theorem Proving
Automated Theorem Proving
Aus54.99 EUR 3
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)
Aus213.99 EUR 2
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)
Aus208.02 EUR 2
Produkt anzeigen
Automated Theorem Proving
Automated Theorem Proving
Aus177.00 EUR 1
Produkt anzeigen
Menü