APA (7th ed.) Citation

(2015). Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9 - 11, 2014 ; revised selected papers. Springer.

Chicago Style (17th ed.) Citation

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9 - 11, 2014 ; Revised Selected Papers. Cham [u.a.]: Springer, 2015.

MLA (9th ed.) Citation

Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9 - 11, 2014 ; Revised Selected Papers. Springer, 2015.