Thomas F. McDougal

According to our database, Thomas F. McDougal authored at least 2 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Everyday Reasoning Meets Geometry Theorem-Proving.

Thomas F. McDougal

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Representing and Using Procedural Knowledge to Build Geometry Proofs.

Thomas F. McDougal, Kristian J. Hammond

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993