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 ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 16:19:44
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 10:26:06
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 11:12:51
Allgemein
Marke
Schmidt, Renate A.
ISBN
Schmidt, Renate A. 3642029582
MPN
Schmidt, Renate A. biography
