Chou, S., Gao, X., & Zhang, J. (1994). Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific.
Chicago-Zitierstil (17. Ausg.)Chou, Shang-Ching, Xiao-Shan Gao, und Jingzhong Zhang. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore u.a: World Scientific, 1994.
MLA-Zitierstil (9. Ausg.)Chou, Shang-Ching, et al. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.