Automatic Theorem Generation in Plane Geometry

• Authors:

• Rajiv Bagai;Vasant Shanbhogue;Jan M. Zytkow;Shang-Ching Chou

• Affiliations:

• -;-;-;-

• Venue:
• ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
• Year:
• 1993