Michelle Y. Kim. Visual Reasoning in Geometry Theorem Proving. In IJCAI. pages 1617-1622, 1989.
@inproceedings{Kim89:0,
title = {Visual Reasoning in Geometry Theorem Proving},
author = {Michelle Y. Kim},
year = {1989},
researchr = {https://researchr.org/publication/Kim89%3A0},
cites = {0},
citedby = {0},
pages = {1617-1622},
booktitle = {IJCAI},
}