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: | Hayes, Patrick J. |
---|---|
Other Authors: | Meltzer, Bernard |
Published: |
University of Edinburgh
1973
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586181 |
Similar Items
-
Semantic integration of information by abduction
by: Xanthakos, Ioannis
Published: (2004) -
An integrated architecture for semantic search
by: Fatima, Arooj
Published: (2016) -
Semantic mapping of road scenes
by: Sengupta, Sunando
Published: (2014) -
Finding hidden semantics of text tables
by: Alrashed, Saleh A.
Published: (2004) -
The Formal Semantics of Computer Languages and their Implementations
by: Milne, R.
Published: (1974)