%0 Conference Paper %1 conf/icci/BagaiSZC93 %A Bagai, Rajiv %A Shanbhogue, Vasant %A Zytkow, Jan M. %A Chou, Shang-Ching %B ICCI %D 1993 %E Abou-Rabia, Osman %E Chang, Carl K. %E Koczkodaj, Waldemar W. %I IEEE Computer Society %K dblp %P 354-358 %T Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. %U http://dblp.uni-trier.de/db/conf/icci/icci1993.html#BagaiSZC93 %@ 0-8186-4212-2

@inproceedings{conf/icci/BagaiSZC93, added-at = {2002-11-04T00:00:00.000+0100}, author = {Bagai, Rajiv and Shanbhogue, Vasant and Zytkow, Jan M. and Chou, Shang-Ching}, biburl = {https://www.bibsonomy.org/bibtex/2dcc4b1f6c4ed25389123ad1214349c05/dblp}, booktitle = {ICCI}, crossref = {conf/icci/1993}, date = {2002-11-04}, description = {dblp}, editor = {Abou-Rabia, Osman and Chang, Carl K. and Koczkodaj, Waldemar W.}, interhash = {ac34f3777897347b85380953d6b3e990}, intrahash = {dcc4b1f6c4ed25389123ad1214349c05}, isbn = {0-8186-4212-2}, keywords = {dblp}, pages = {354-358}, publisher = {IEEE Computer Society}, timestamp = {2002-11-04T00:00:00.000+0100}, title = {Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/icci/icci1993.html#BagaiSZC93}, year = 1993 }