Automated Deduction in Geometry

MLA

Sturm, Thomas, et al. Automated Deduction In Geometry. Springer Berlin Heidelberg, 2011.

APA

Sturm, T., Kanade, T., Zengler, C., & Kittler, J. (2011). Automated Deduction in Geometry. Springer Berlin Heidelberg.

Chicago

Sturm, Thomas, Takeo Kanade, Christoph Zengler, and Josef Kittler. Automated Deduction In Geometry. : Springer Berlin Heidelberg, 2011.