A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

✍ Scribed by Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang

• Book ID: 110232775
• Publisher: Springer Netherlands
• Year: 2000
• Tongue: English
• Weight: 158 KB
• Volume: 25
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1006171315513