Limit search to available items
Book Cover
Author Chou, Shang-Ching, 1942-

Title Mechanical geometry theorem proving / Shang-Ching Chou
Published Dordrecht ; Boston : D. Reidel Pub. Co. ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, [1988]


Location Call no. Vol. Availability
Description xii, 362 pages : illustrations ; 25 cm
Series Mathematics and its applications
Mathematics and its applications (D. Reidel Publishing Company)
Analysis Geometry Theorems Proof Applications of computer systems
Notes Includes indexes
Bibliography Bibliography: pages 90-92
Subject Automatic theorem proving.
LC no. 87030387
ISBN 9027726507