The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #950

Title:A Survey of Automated Deduction
Date:Apr 1999
Presented:Submitted to Lecture Notes in AI
Abstract:We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.

[Search These Pages] [DAI Home Page] [Comment]