Machine proofs in geometry : automated production of readable proofs for geometry theorems /

Bibliographic Details
Main Author:	Chou, Shang-Ching, 1946-
Other Authors:	Gao, Xiao-Shan, Zhang, Jingzhong, 1936-
Format:	Book
Language:	English
Published:	Singapore ; New Jersey : World Scientific, [1994]
Series:	Series on applied mathematics ; v. 6.
Subjects:	Axioms > Data processing. Automatic theorem proving.

Evans: Library Stacks