Tuning of Search of the Problem Space for Geometry Proofs

Anderson. "Tuning of Search of the Problem Space for Geometry Proofs." International Joint Conference on Artificial Intelligence, 1981.

[Anderson. "Tuning of Search of the Problem Space for Geometry Proofs." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/anderson1981ijcai-tuning/)

@inproceedings{anderson1981ijcai-tuning,
  title     = {{Tuning of Search of the Problem Space for Geometry Proofs}},
  author    = {Anderson, John R.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {165-170},
  url       = {https://mlanthology.org/ijcai/1981/anderson1981ijcai-tuning/}
}