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 (3) Eigenschaften
Gesponsert
Automated Deduction - CADE-21, Fachbücher von Frank Pfenning
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-07-2026 01:02:11
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 01-08-2026 09:47:00
Siehe Produktangebot
Gesponsert
Automated Deduction - CADE-21
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:17:00
Siehe Produktangebot

Allgemein

Marke
Frank Pfenning
ISBN
Frank Pfenning 9783540735946
MPN
Frank Pfenning biography

Eigenschaften

Ähnliche Produkte

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 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-12
Automated Deduction ¿ CADE-12
Produkt anzeigen
Menü