Mechanical geometry theorem proving
By: Shang-Ching Chou.
Series: Mathematics and its applications; Mathematics and its applications (D. Reidel Publishing Company)
Publisher: D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Published: 1988
Place of publication: Dordrecht; Boston; Norwell, MA, U.S.A
Language: eng
Number of pages: 362
Subjects: Automatic theorem proving.
Notes: Bibliography: p. 192.
Includes indexes.