Mechanical geometry theorem proving

• Main Author: Chou, Shang - Ching
• Format: Book
• Language: English
• Published: Dordrecht D. Reidel Publishing Company 1987
• Series: Mathematics and its applications
• Subjects: Γεωμετρία > Επεξεργασία δεδομένων
• Physical Description: xii, 362 p. 24 cm.
• Bibliography: Includes index
• ISBN: 1402003307