Automated Deduction - CADE-21

Die Proceedings der CADE‑21, veröffentlicht im Juli 2007 in Bremen, bieten einen kompakten Überblick über aktuelle Ansätze in automatisierter De ...
Automated Deduction
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Deduction - CADE-21, Fachbücher von Frank Pfenning
Galaxus.de
53.49 EUR
Preis aktualisiert am: 17-09-2026 12:51:33
Siehe Produktangebot

Allgemein

Marke
Frank Pfenning
ISBN
Frank Pfenning 9783540735946
MPN
Frank Pfenning 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-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, 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
Menü