Thu Nov 3 18:04:04 2005
UMBC AgentWeb
[an error occurred while processing this directive]

AgentWeb: Publications and presentations: Recommended Papers: Background
Search web for similar pages


  • Automated Theorem Proving - Theory 12/1/01 Who points to it? 21 - High Level History and Overview of Mathematical and LogicTechniques Used in Mechanical Theorem Proving, Elita Cheung, Stanford

  • Wikipedia: Larrys Text 12/1/01 Who points to it? 21 - This is a series of introductory philosophy lectures Larry Sanger has used for undergraduates at Ohio State.

Edited by Tim Finin & Yannis Labrou of UMBC ebiquity and the UMBC Computer Science and Electrical Engineering Department. Comments to Hits in red Who points to it? shows inverse links. Built by bk2site.