(2013). Automated deduction in geometry: 9th international workshop, ADG 2012, Edinburgh, UK, september 17-19, 2012. Revised selected papers.
Chicago Style CitationAutomated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. 2013.
MLA CitationAutomated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. 2013.
Warning: These citations may not always be 100% accurate.