ML Anthology

Representing and Using Procedural Knowledge to Build Geometry Proofs

Thomas F. McDougal, Kristian J. Hammond
AAAI 1993 pp. 60-65
/aaai/1993/mcdougal1993aaai-representing/
PDF AAAI Semantic Scholar

Cite

Text

McDougal and Hammond. "Representing and Using Procedural Knowledge to Build Geometry Proofs." AAAI Conference on Artificial Intelligence, 1993.

Markdown

[McDougal and Hammond. "Representing and Using Procedural Knowledge to Build Geometry Proofs." AAAI Conference on Artificial Intelligence, 1993.](https://mlanthology.org/aaai/1993/mcdougal1993aaai-representing/)

BibTeX

@inproceedings{mcdougal1993aaai-representing,
  title     = {{Representing and Using Procedural Knowledge to Build Geometry Proofs}},
  author    = {McDougal, Thomas F. and Hammond, Kristian J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {60-65},
  url       = {https://mlanthology.org/aaai/1993/mcdougal1993aaai-representing/}
}