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: Γεωμετρία > Επεξεργασία δεδομένων