Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)

Wo zu kaufen (4) Eigenschaften
Gesponsert
Automated Deduction - CADE 28, Fachbücher von André Platzer, Geoff Sutcliffe
Galaxus.de
42.79 EUR
Preis aktualisiert am: 29-10-2026 14:50:53
Siehe Produktangebot
Gesponsert
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Medimops DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 15:39:55
Siehe Produktangebot
Gesponsert
Automated Deduction – CADE 28
SpringerLink DE
42.79 EUR
Preis aktualisiert am: 28-10-2026 06:14:10
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE 28
Hugendubel
42.99 EUR
Preis aktualisiert am: 28-10-2026 19:19:32
Siehe Produktangebot

Allgemein

Marke
André Platzer

Eigenschaften

Ähnliche Produkte

Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
Aus39.98 EUR 3
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Aus52.94 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
Automated Deduction - CADE-21
Aus53.49 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-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
Aus52.84 EUR 4
Produkt anzeigen
Menü