Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #950 | |
|---|---|
| Title: | A Survey of Automated Deduction |
| Authors: | Bundy,A |
| Date: | Apr 1999 |
| Presented: | Submitted to Lecture Notes in AI |
| Keywords: | |
| 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. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}