APA-Zitierstil (7. Ausg.)

Ida, T. (2013). Automated deduction in geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-642-40672-0

Chicago-Zitierstil (17. Ausg.)

Ida, Tetsuo. Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2013. https://doi.org/10.1007/978-3-642-40672-0.

MLA-Zitierstil (9. Ausg.)

Ida, Tetsuo. Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; Revised Selected Papers. Springer, 2013. https://doi.org/10.1007/978-3-642-40672-0.