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....

Full description

Bibliographic Details
Main Author: Brown, Frank Malloy
Published: University of Edinburgh 1978
Subjects:
004
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.642127

Similar Items