Ida, T. (2013). Automated deduction in geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers. Springer.
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.
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.