Login / Signup

Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Published in: Automated Deduction in Geometry (2013)
Keyphrases