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: | |
|---|---|
| Published: |
University of Edinburgh
1978
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.642127 |