Thomas F. McDougal

Publication Activity (10 Years)

Years Active: 1993-1994
Publications (10 Years): 0

Publications

Thomas F. McDougal
Everyday Reasoning Meets Geometry Theorem-Proving. AAAI (1994)
Thomas F. McDougal, Kristian J. Hammond
Representing and Using Procedural Knowledge to Build Geometry Proofs. AAAI (1993)