Automated Deduction - CADE-18

In den CADE‑18 Proceedings finden Sie wegweisende Beiträge zur automatisierten Deduktion aus dem Jahr 2002, die neue Algorithmen für logische Infe ...
Automated Deduction
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction - CADE-18
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 04-05-2026 00:37:55
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392, Band 2392)
Medimops DE
53.49 EUR
Preis aktualisiert am: 04-05-2026 00:26:38
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540439315
MPN
Springer Berlin Heidelberg Illustrations

Eigenschaften

Ähnliche Produkte

Automated Deduction -
Automated Deduction -- CADE-24
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-14
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-19
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-17
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421, Band 1421)
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-21
Produkt anzeigen
Menü