Chou, S. (1995). Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific Pub. Co.
Chicago-Zitierstil (17. Ausg.)Chou, Shang-Ching. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. Singapore: World Scientific Pub. Co, 1995.
MLA-Zitierstil (9. Ausg.)Chou, Shang-Ching. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific Pub. Co, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.