Cite
APA Citation
Botana, F., & Quaresma, P. (Eds.) (2015). Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100071220276.0x000001