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.
@inproceedings{BagaiSZC93,
title = {Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions},
author = {Rajiv Bagai and Vasant Shanbhogue and Jan M. Zytkow and Shang-Ching Chou},
year = {1993},
tags = {discovery},
researchr = {https://researchr.org/publication/BagaiSZC93},
cites = {0},
citedby = {0},
pages = {354-358},
booktitle = {Computing and Information - ICCI 93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings},
editor = {Osman Abou-Rabia and Carl K. Chang and Waldemar W. Koczkodaj},
publisher = {IEEE Computer Society},
isbn = {0-8186-4212-2},
}