Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)

Automated Deduction
Wo zu kaufen (3) Eigenschaften
Gesponsert
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
Medimops DE
52.84 EUR
Preis aktualisiert am: 06-11-2026 14:58:28
Siehe Produktangebot
Gesponsert
Automated Deduction -- CADE-24
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 09:22:14
Siehe Produktangebot
Gesponsert
Automated Deduction -- CADE-24
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 09-11-2026 12:09:42
Siehe Produktangebot

Allgemein

Marke
Bonacina, Maria Paola
ISBN
Bonacina, Maria Paola 3642385737

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
Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture ... (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Automated Deduction
Automated Deduction - CADE-21
Aus53.49 EUR 4
Produkt anzeigen
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Aus85.09 EUR 4
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Aus52.94 EUR 4
Produkt anzeigen
Menü