Ontify
⌘
S
⌘
S
Semantic Trees : New Foundations for Automatic Theorem-Proving - Ontify
Share
Semantic Trees : New Foundations for Automatic Theorem-Proving
Doctoral thesis.
Statements about
Semantic Trees : New Foundations for Automatic Theorem-Proving
Instance Of
Doctoral Thesis
Title
Semantic trees : new foundations for automatic theorem-proving
Author
Pat Hayes
Publication Date
1973
Object Named As
:
Patrick J. Hayes
Series Ordinal
:
1
WikidataWikidataWikidata