Automated Deduction in Geometry

MLA

Botana, and Pedro Quaresma. Automated Deduction In Geometry. Springer International Publishing, 2015.

APA

Botana, B., & Quaresma, P. (2015). Automated Deduction in Geometry. Springer International Publishing.

Chicago

Botana, and Pedro Quaresma. Automated Deduction In Geometry. : Springer International Publishing, 2015.