Towards the automation of mathematical reasoning
We first argue that the improved performance of modern theorem provers is due basically to the use of domain dependent deductive knowledge processing certain simple properties. We exemplify this thesis by discussing various theorem provers for propositional logic and then for elementary arithmetic....
Main Author: | Brown, Frank Malloy |
---|---|
Published: |
University of Edinburgh
1978
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.642127 |
Similar Items
-
Automated reasoning for modal logics : a natural deduction based approach
by: De La Quintana Bruggemann, Pablo Javier
Published: (1989) -
Automated reasoning for reflective programs
by: Horsfall, Benjamin
Published: (2014) -
Towards automated formal analysis of model transformation specifications
by: Abdul Sani, Asmiza
Published: (2013) -
Enhancement of case-based reasoning through informal argumentation, reasoning templates and numerical taxonomy
by: Silva, L. A. D. L.
Published: (2010) -
An artificial intelligence framework for investigative reasoning
by: Ramezani, Ramin
Published: (2014)