Chou, S., Chang, C., & Gao, X. (1994). Machine proofs in geometry: Automated production of readable proofs for geometry theorems.Vol.VI. Singapore ; New Jersey: World Scientific.
শিকাগো স্টাইলে সাইটেশনChou, Shang-Ching, Ching-chung Chang, এবং Xiao-shan Gao. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems.Vol.VI. Singapore ; New Jersey: World Scientific, 1994.
এমএলএ সাইটেশনChou, Shang-Ching, Ching-chung Chang, এবং Xiao-shan Gao. Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems.Vol.VI. Singapore ; New Jersey: World Scientific, 1994.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.