Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.
Ergebnisse filtern
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
Kerber / Kohlhase Symbolic Computation and Automated Reasoning
The CALCULEMUS-2000 Symposium1. Auflage 2001Verlag: Taylor & FrancisISBN: 978-1-4398-6423-4Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)78,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort