Herausgegeben von: Manfred Kerber
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Manfred Kerber.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Hardcover): Fachbuch
Erhältlich:
Nicht auf Lager
Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium
CHF 176.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
-5.8 %
CHF 97.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
-16.7 %
CHF 57.50