Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 authorLink "Martin Davis".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 chapter "The Early History of Automated Deduction".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 chapterUrl early.ps.
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editor2First "Andrei".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editor2Last "Voronkov".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editor2Link "Andrei Voronkov".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editorFirst "Alan".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editorLast "Robinson".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 editorLink "John Alan Robinson".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 first "Martin".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 isCitedBy Automated_theorem_proving.
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 last "Davis".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 publicationDate "2001".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 publisher Elsevier.
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 title Handbook_of_Automated_Reasoning.
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 volume "1".
- 9c67851966210833f5468e5d6f83a729d7c51f6a4841353235a7e13cc2f5a154 year "2001".