Automated Deduction in Geometry

MLA

Schreck, Julien Narboux, and Jürgen Richter-Gebert. Automated Deduction In Geometry. Springer Berlin Heidelberg, 2011.

APA

Schreck, S., Narboux, J., & Richter-Gebert, J. (2011). Automated Deduction in Geometry. Springer Berlin Heidelberg.

Chicago

Schreck, Julien Narboux, and Jürgen Richter-Gebert. Automated Deduction In Geometry. : Springer Berlin Heidelberg, 2011.