Towards Mechanized Mathematical Assistants
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Towards Mechanized Mathematical Assistants, Fachbücher von Robert Miner, Manuel Kauers, Manfred Kerber
53.49 EUR
Preis aktualisiert am: 22-08-2026 08:13:54
53.49 EUR
Preis aktualisiert am: 22-08-2026 08:13:54 
Gesponsert Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science)
53.49 EUR
Preis aktualisiert am: 22-08-2026 11:03:09
53.49 EUR
Preis aktualisiert am: 22-08-2026 11:03:09 
SpringerLink DE
Gesponsert Towards Mechanized Mathematical Assistants
53.49 EUR
Preis aktualisiert am: 22-08-2026 06:32:20
53.49 EUR
Preis aktualisiert am: 22-08-2026 06:32:20 | Bezeichner | |
|---|---|
| ISBN | Springer-Verlag GmbH 9783540730835 |
| 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.
