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.
CITATION STYLE
Bundy, A. (1999). A Survey of Automated Deduction (pp. 153–174). https://doi.org/10.1007/3-540-48317-9_6
Mendeley helps you to discover research relevant for your work.