Cita APA

(2013). Automated deduction in geometry: 9th international workshop, ADG 2012, Edinburgh, UK, september 17-19, 2012. Revised selected papers.

Citación estilo Chicago

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

Cita MLA

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