Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions

Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou. Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. In Osman Abou-Rabia, Carl K. Chang, Waldemar W. Koczkodaj, editors, Computing and Information - ICCI 93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings. pages 354-358, IEEE Computer Society, 1993.

Abstract

Abstract is missing.