Automated Deduction in Geometry
de Franz Winkler · Publicada por primera vez en 2004
Materias
Ediciones (1)
- Automated Deduction in Geometry (2004)
Springer · inglés · ISBN 9783540209270
de Franz Winkler · Publicada por primera vez en 2004
Springer · inglés · ISBN 9783540209270
