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: 15-06-2026 08:01:34
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 01:04:20
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 14-06-2026 23:03:20
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319214004
MPN
Springer-Verlag GmbH biography
