Automated Deduction in Geometry
de Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Ediciones (2)
- Automated Deduction in Geometry (2012)
Springer · ISBN 9783642250712
- Automated Deduction in Geometry (2011)
Springer · inglés · ISBN 9783642250705
de Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Springer · ISBN 9783642250712
Springer · inglés · ISBN 9783642250705
