%0 Journal Article %1 journals/amai/ZhangCG95 %A Zhang, Jing-Zhong %A Chou, Shang-Ching %A Gao, Xiao-Shan %D 1995 %J Ann. Math. Artif. Intell. %K dblp %N 1-2 %P 109-138 %T Automated Production of Traditional Proofs for Theorems in Euclidean Geometry. %U http://dblp.uni-trier.de/db/journals/amai/amai13.html#ZhangCG95 %V 13

@article{journals/amai/ZhangCG95, added-at = {2011-05-18T00:00:00.000+0200}, author = {Zhang, Jing-Zhong and Chou, Shang-Ching and Gao, Xiao-Shan}, biburl = {https://www.bibsonomy.org/bibtex/21b5f35df354e959f48ce340c1f33c9e4/dblp}, ee = {http://dx.doi.org/10.1007/BF01531326}, interhash = {e7ceb76d52cb021c2794d0d95f4f1a0c}, intrahash = {1b5f35df354e959f48ce340c1f33c9e4}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = {1-2}, pages = {109-138}, timestamp = {2011-05-19T11:38:13.000+0200}, title = {Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai13.html#ZhangCG95}, volume = 13, year = 1995 }