BibTeX records: Thomas F. McDougal

• > Home > Persons > Thomas F. McDougal

@inproceedings{DBLP:conf/aaai/McDougal94,
  author       = {Thomas F. McDougal},
  editor       = {Barbara Hayes{-}Roth and
                  Richard E. Korf},
  title        = {Everyday Reasoning Meets Geometry Theorem-Proving},
  booktitle    = {Proceedings of the 12th National Conference on Artificial Intelligence,
                  Seattle, WA, USA, July 31 - August 4, 1994, Volume 2},
  pages        = {1471},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1994},
  url          = {http://www.aaai.org/Library/AAAI/1994/aaai94-265.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/McDougal94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/McDougalH93,
  author       = {Thomas F. McDougal and
                  Kristian J. Hammond},
  editor       = {Richard Fikes and
                  Wendy G. Lehnert},
  title        = {Representing and Using Procedural Knowledge to Build Geometry Proofs},
  booktitle    = {Proceedings of the 11th National Conference on Artificial Intelligence.
                  Washington, DC, USA, July 11-15, 1993},
  pages        = {60--65},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1993},
  url          = {http://www.aaai.org/Library/AAAI/1993/aaai93-010.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/McDougalH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}