Mechanical geometry theorem proving

• Κύριος συγγραφέας: Chou, Shang - Ching
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht D. Reidel Publishing Company 1987
• Σειρά: Mathematics and its applications
• Θέματα: Γεωμετρία > Επεξεργασία δεδομένων
• Φυσική περιγραφή: xii, 362 p. 24 cm.
• Βιβλιογραφία: Includes index
• ISBN: 1402003307