Automated Deduction in Geometry [electronic resource] Proceedings
International Workshop, ADG (6 Spain 2006)
Automated Deduction in Geometry [electronic resource] Proceedings ed by Francisco Botana and Tomas Recio - Berlin Springer 2007
http://dx.doi.org/10.1007/978-3-540-77356-6
9783540773566
516.00285 / (e-book)
Automated Deduction in Geometry [electronic resource] Proceedings ed by Francisco Botana and Tomas Recio - Berlin Springer 2007
http://dx.doi.org/10.1007/978-3-540-77356-6
9783540773566
516.00285 / (e-book)