Automated Deduction - CADE-25
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)
52.94 EUR
Preis aktualisiert am: 21-04-2026 16:50:26
52.94 EUR
Preis aktualisiert am: 21-04-2026 16:50:26 
SpringerLink DE
Gesponsert Automated Deduction - CADE-25
53.49 EUR
Preis aktualisiert am: 21-04-2026 21:00:47
53.49 EUR
Preis aktualisiert am: 21-04-2026 21:00:47 
Galaxus.de
Gesponsert Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty
53.49 EUR
Preis aktualisiert am: 21-04-2026 06:21:27
53.49 EUR
Preis aktualisiert am: 21-04-2026 06:21:27 | Bezeichner | |
|---|---|
| ISBN | Springer-Verlag GmbH 3319214004 |
| MPN | Springer-Verlag GmbH biography |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Die Springer-Verlag GmbH ist ein deutscher Verlag, der vor allem wissenschaftliche und medizinische Fachzeitschriften publiziert. Das Unternehmen wurde 1946 von Kurt und Heinrich Springer gegründet. Heute gehört die Springer-Verlag GmbH zur Axel Springer SE.
