Cite
HARVARD Citation
Botana, F. et al. (eds.) (2015) Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100071220276.0x000001