Thomas F. McDougal, Kristian J. Hammond. Representing and Using Procedural Knowledge to Build Geometry Proofs. In AAAI. pages 60-65, 1993.
@inproceedings{McDougalH93,
title = {Representing and Using Procedural Knowledge to Build Geometry Proofs},
author = {Thomas F. McDougal and Kristian J. Hammond},
year = {1993},
researchr = {https://researchr.org/publication/McDougalH93},
cites = {0},
citedby = {0},
pages = {60-65},
booktitle = {AAAI},
}