E-Book, Englisch, 288 Seiten
Wu Mechanical Theorem Proving in Geometries
Erscheinungsjahr 2012
ISBN: 978-3-7091-6639-0
Verlag: Springer Vienna
Format: PDF
Kopierschutz: 1 - PDF Watermark
Basic Principles
E-Book, Englisch, 288 Seiten
Reihe: Texts & Monographs in Symbolic Computation
ISBN: 978-3-7091-6639-0
Verlag: Springer Vienna
Format: PDF
Kopierschutz: 1 - PDF Watermark




