Bültmann & Gerriets
^
Einband
Verfügbarkeit
Titel auch in diesen Sprachen:Englisch Französisch Spanisch Italienisch
Noch nicht das Passende gefunden?
Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
141,50 €
zum 29. Oktober
Buch
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
166,50 €
zum 29. Oktober
Buch