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: 23-09-2026 16:25:52
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: 23-09-2026 20:47:55
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-15
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 23:50:21
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-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Aus52.94 EUR 4
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Aus52.94 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-18
Aus53.49 EUR 3
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-14
Aus53.49 EUR 1
Produkt anzeigen
Menü