Using middle-out reasoning to guide inductive theorem proving
Techniques derived from proof theory for logic alone have been insufficient as a basis for efficient, elegant automatic theorem proving. They concentrate on syntax, neglecting both strategy for particular domains and classes of problem, and guidance from modelling human mathematicians. A novel techn...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1992
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.652392 |