Automated Deduction in Geometry

MLA

Ida, Tetsuo; Fleuriot, Jacques, and Jacques Fleuriot. Automated Deduction In Geometry. Springer Berlin Heidelberg, 2013.

APA

Ida, J., & Fleuriot, J. (2013). Automated Deduction in Geometry. Springer Berlin Heidelberg.

Chicago

Ida, Tetsuo; Fleuriot, Jacques, and Jacques Fleuriot. Automated Deduction In Geometry. : Springer Berlin Heidelberg, 2013.