Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture ... (Lecture Notes in Computer Science)

Ein Fachband aus der CADE‑22-Konferenz, der tiefe Einblicke in moderne Deduktionsalgorithmen, logische Modelle und deren Einsatz in formaler Verifik ...

Wo zu kaufen (1) Eigenschaften

Gesponsert

Automated Deduction – CADE-22

SpringerLink DE

59.00 EUR

Preis aktualisiert am: 07-09-2026 11:13:27

Siehe Produktangebot

Allgemein

Marke

Schmidt, Renate A.

ISBN

Schmidt, Renate A. 3642029582

MPN

Schmidt, Renate A. biography

Eigenschaften

Ähnliche Produkte

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31/September 2, 2006, Revised Papers (Lecture Notes in Computer Science, 4869, Band 4869)

Produkt anzeigen

Automated Deduction - CADE-21

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-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

Produkt anzeigen

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 in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science)

Produkt anzeigen