Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 first "Donald W.".
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 isCitedBy Automated_theorem_proving.
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 last "Loveland".
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 publisher North-Holland_Publishing.
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 title "Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science Volume 6".
- a7a118697ce3689bb74db495d30286c0f46959bb2e221ee9b75533f17f082f76 year "1978".