Mechanical geometry theorem proving /

Bibliographic Details

Main Author:	Chou, Shang-Ching, 1942-
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : D. Reidel Pub. Co. ; [1988]
Series:	Mathematics and its applications (D. Reidel Publishing Company)
Subjects:	Automatic theorem proving.