Thomas F. McDougal

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1994

Everyday Reasoning Meets Geometry Theorem-Proving.

[DOI]

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.

[DOI]

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