Semantic trees : new foundations for automatic theorem-proving
This dissertation is concerned with theorem-proving by computer. It does not contain a great number of new results, in the sense of new computational devices for improving the efficiency of theorem-proving programs. Rather it is intended as an account of a new approach to the fundamentals of the sub...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1973
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586181 |