Automated Deduction - CADE-18
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
Gesponsert Automated Deduction - CADE-18
53.49 EUR
Preis aktualisiert am: 22-04-2026 22:03:57
53.49 EUR
Preis aktualisiert am: 22-04-2026 22:03:57 
Gesponsert Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392, Band 2392)
53.49 EUR
Preis aktualisiert am: 22-04-2026 17:57:32
53.49 EUR
Preis aktualisiert am: 22-04-2026 17:57:32 | Bezeichner | |
|---|---|
| ISBN | Springer Berlin Heidelberg 3540439315 |
| MPN | Springer Berlin Heidelberg Illustrations |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Springer Berlin Heidelberg ist eine Marke von Springer Science+Business Media, einem weltweit führenden Verlag für Wissenschaft und Medien. Das Unternehmen hat seinen Hauptsitz in Berlin und betreibt Niederlassungen in Heidelberg, London, Madrid, New York, Paris und Wien. Springer Berlin Heidelberg publiziert mehr als 2.000 Zeitschriften und über 10.000 neue Bücher pro Jahr. Das Verlagsprogramm umfasst sowohl wissenschaftliche als auch populärwissenschaftliche Titel.
