Towards Mechanized Mathematical Assistants

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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: 23-04-2026 06:08:25
Siehe Produktangebot

Gesponsert Towards Mechanized Mathematical Assistants

53.49 EUR
Preis aktualisiert am: 23-04-2026 09:13:55
Siehe Produktangebot

Gesponsert Towards Mechanized Mathematical Assistants, Fachbücher von Robert Miner, Manuel Kauers, Manfred Kerber

53.49 EUR
Preis aktualisiert am: 22-04-2026 21:17:54
Siehe Produktangebot
Bezeichner
ISBN Springer-Verlag GmbH 9783540730835
MPN Springer-Verlag GmbH biography
Abmessungen / Gewicht
Hauptmerkmale
Springer-Verlag GmbH

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.