Tuning of Search of the Problem Space for Geometry Proofs

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/Anderson81a, title={Tuning of Search of the Problem Space for Geometry Proofs}, pages={165-170}, year={1981}, crossref={DBLP:conf/ijcai/1981}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai81.html#Anderson81a}, author={John R. Anderson} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Tuning_of_Search_of_the_Problem_Space_for_Geometry_Proofs"
Personal tools