Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

Der CADE‑25-Buchband fasst in Berlin veröffentlichte Arbeiten zur automatischen Deduktion zusammen, beleuchtet Theorem-Proving, Modellprüfung und ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Medimops DE
52.94 EUR
Preis aktualisiert am: 16-09-2026 21:28:27
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty
Galaxus.de
53.49 EUR
Preis aktualisiert am: 15-09-2026 22:45:44
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319214004
MPN
Springer-Verlag GmbH biography

Eigenschaften

Ähnliche Produkte

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)
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)
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
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 -
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)
Produkt anzeigen
Automated Deduction ¿ CADE-12
Automated Deduction ¿ CADE-12
Produkt anzeigen
Automated Deduction -
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Produkt anzeigen
Menü