Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Ein kompakter Sammelband aus der 13. Internationalen Konferenz für automatisierte Deduktion, die im Sommer 1996 in New Brunswick stattfand; er fass ...
Automated Deduction Computer Science
Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Deduction - Cade-13
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 24-08-2026 18:57:35
Siehe Produktangebot

Allgemein

MPN
21 black & white illustrations, 21 black
ISBN
3540533710

Eigenschaften

Ähnliche Produkte

Automated Deduction ¿ CADE 29
Automated Deduction ¿ CADE 29
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ü