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 ...

Wo zu kaufen (3) Eigenschaften

Gesponsert

Hugendubel

53.49 EUR

Preis aktualisiert am: 07-11-2026 12:12:17

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: 06-11-2026 12:53:02

Siehe Produktangebot

Gesponsert

Automated Deduction - CADE-18

SpringerLink DE

59.00 EUR

Preis aktualisiert am: 09-11-2026 12:06:30

Siehe Produktangebot

Allgemein

Marke

Springer Berlin Heidelberg

ISBN

Springer Berlin Heidelberg 3540439315

MPN

Springer Berlin Heidelberg Illustrations

Eigenschaften

Ähnliche Produkte

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)

Aus85.04 EUR 4

Produkt anzeigen

Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)

Aus106.99 EUR 3

Produkt anzeigen

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)

Aus53.49 EUR 3

Produkt anzeigen

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Aus59.00 EUR 1

Produkt anzeigen