Automated Deduction in Geometry

MLA

Botana, Francisco, et al. Automated Deduction In Geometry. Springer Berlin Heidelberg, 2007.

APA

Botana, F., Recio, T., Recio, T., & Tomas, R. (2007). Automated Deduction in Geometry. Springer Berlin Heidelberg.

Chicago

Botana, Francisco, Tomas Recio, Tómas Recio, and Recio Tomas. Automated Deduction In Geometry. : Springer Berlin Heidelberg, 2007.