Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
Der CADE‑25-Buchband fasst in Berlin veröffentlichte Arbeiten zur automatischen Deduktion zusammen, beleuchtet Theorem-Proving, Modellprüfung und ...
Gesponsert
Medimops DE
52.94 EUR
Preis aktualisiert am: 27-07-2026 22:41:49
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 28-07-2026 12:46:11
Gesponsert
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 29-07-2026 07:18:05
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319214004
MPN
Springer-Verlag GmbH biography
