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)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Deduction - CADE-15
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 10:10:36
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 06-11-2026 12:58:27
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-15
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:06:28
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540646752
MPN
Springer Berlin Heidelberg Illustrations

Eigenschaften

Ähnliche Produkte

Automated Deduction
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
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 -
Automated Deduction -- CADE-24
Aus47.00 EUR 2
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-18
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Aus59.00 EUR 1
Produkt anzeigen
Menü