Automated Deduction in Geometry

MLA

Hong, Hoon, et al. Automated Deduction In Geometry. Springer Berlin / Heidelberg, 2006.

APA

Hong, H., Kanade, T., Wang, D., & Kittler, J. (2006). Automated Deduction in Geometry. Springer Berlin / Heidelberg.

Chicago

Hong, Hoon, Takeo Kanade, Dongming Wang, and Josef Kittler. Automated Deduction In Geometry. : Springer Berlin / Heidelberg, 2006.