Browse Wiki & Semantic Web
Https://dblp.org/rec/phd/ethos/Hayes73 |
This page has no properties. |
hide properties that link here |
No properties link to this page. |
https://dblp.org/rec/phd/ethos/Hayes73 |
https://dblp.org/rdf/schema#authoredBy | https://dblp.org/pid/11/719 + |
---|---|
https://dblp.org/rdf/schema#bibtexType | http://purl.org/net/nknouf/ns/bibtex#Phdthesis + |
https://dblp.org/rdf/schema#documentPage | https://hdl.handle.net/1842/8115 + , https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.586181 + |
https://dblp.org/rdf/schema#numberOfCreators | 1 |
https://dblp.org/rdf/schema#primaryDocumentPage | https://hdl.handle.net/1842/8115 + |
https://dblp.org/rdf/schema#publicationNote | source: British Library, EThOS |
https://dblp.org/rdf/schema#thesisAcceptedBySchool | University of Edinburgh, UK |
https://dblp.org/rdf/schema#title | Semantic trees : new foundations for automatic theorem-proving. |
https://dblp.org/rdf/schema#yearOfPublication | 1973 |
rdf:type | https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Book + |
rdfs:label | Patrick J. Hayes: Semantic trees : new foundations for automatic theorem-proving. (1973) |
hide properties that link here |
This page has no properties. |