Alle Kategorien durchsuchen
Suchangebote
Auto, motorrad & fahrzeugzubehör
Baby
Beauty & Gesundheit
Bürobedarf
Computer & it
Elektronik
Haustierbedarf
Heimwerken & Industriebedarf
Lebensmittel
Mode
Musikinstrumente & audio
Spielwaren
Sport
Videospiele
Wohnen
Auto, motorrad & fahrzeugzubehör
Baby
Beauty & Gesundheit
Bürobedarf
Computer & it
Elektronik
Haustierbedarf
Heimwerken & Industriebedarf
Lebensmittel
Mode
Musikinstrumente & audio
Spielwaren
Sport
Videospiele
Wohnen
Kategorien
Angebote
Information
Markenliste
Geschäftsbedingungen
Datenschutz-Bestimmungen
DE
United Kingdom
Deutschland
España
France
Italia
Ieris
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 -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
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: 29-04-2026 22:31:48
Siehe Produktangebot
Gesponsert
Automated Deduction -- CADE-24
SpringerLink DE
53.49
EUR
Preis aktualisiert am: 30-04-2026 00:34:44
Siehe Produktangebot
Gesponsert
Automated Deduction -- CADE-24, Fachbücher
Galaxus.de
53.49
EUR
Preis aktualisiert am: 29-04-2026 17:20:11
Siehe Produktangebot
Allgemein
Marke
Bonacina, Maria Paola
ISBN
Bonacina, Maria Paola 3642385737
Eigenschaften
Ähnliche Produkte
Automated Deduction ¿ CADE-12
Produkt anzeigen
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)
Produkt anzeigen
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Automated Deduction ¿ CADE 29
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)
Produkt anzeigen
Menü
Angebote
Kategorien
Auto, motorrad & fahrzeugzubehör
Baby
Beauty & Gesundheit
Bürobedarf
Computer & it
Elektronik
Haustierbedarf
Heimwerken & Industriebedarf
Lebensmittel
Mode
Musikinstrumente & audio
Spielwaren
Sport
Videospiele
Wohnen
Information
Markenliste
Geschäftsbedingungen
Datenschutz-Bestimmungen