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.

Authors

Rajiv Bagai

This author has not been identified. Look up 'Rajiv Bagai' in Google

Vasant Shanbhogue

This author has not been identified. Look up 'Vasant Shanbhogue' in Google

Jan M. Zytkow

This author has not been identified. Look up 'Jan M. Zytkow' in Google

Shang-Ching Chou

This author has not been identified. Look up 'Shang-Ching Chou' in Google