|
Edinburgh Research Archive >
Informatics, School of >
Informatics Report Series >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/3392
|
| Title: | A Survey of Automated Deduction |
| Authors: | Bundy, Alan |
| Issue Date: | Apr-1999 |
| Series/Report no.: | Informatics Report Series
EDI-INF-RR-0001 |
| 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. |
| Keywords: | Informatics
Computer Science |
| URI: | http://hdl.handle.net/1842/3392 |
| Appears in Collections: | Informatics Report Series
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
