People

Francisco Botana

Email

Export publications Citations

Export publications BibTeX

Edited Books

2015

(1 publication)

Botana, F. and Quaresma, P. , Proceedings of the Automated Deduction in Geometry, ADG14 , vol. 9201, 2015 [ DOI ]

Tech Report

2014

(1 publication)

Botana, F. and Quaresma, P. , "Preliminary Proceedings of the ADG 2014, 10th International Workshop on Automated Deduction in Geometry", 2014 [ DOI ]