Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:A Survey of Automated Deduction
Authors: Alan Bundy
Date:Apr 1999
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.
Links To Paper
No links available
Bibtex format
author = { Alan Bundy },
title = {A Survey of Automated Deduction},
year = 1999,
month = {Apr},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh