Chou,, Shang-Ching,, 1946- Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Machine proofs in geometry : automated production of readable proofs for geometry theorems / Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang . - Singapore : World Scientific, cop. 1994 . - XVII, 461 p. 23 cm . - (Series applied mathematics; 6))
981-02-1584-3 (Encadernado)

514