Limit search to available items
Book Cover
Book
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]
©1988

Copies

Location Call no. Vol. Availability
 W'PONDS  516.00285 Cho/Mgt  TEMPORARILY UNAVAILABLE
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