McDougal, Thomas F.

2 publications

AAAI 1994 Everyday Reasoning Meets Geometry Theorem-Proving Thomas F. McDougal

AAAI 1993 Representing and Using Procedural Knowledge to Build Geometry Proofs Thomas F. McDougal, Kristian J. Hammond