Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-0-08-093067-1> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- books?vid=ISBN978-0-08-093067-1 chapter "Automation of Higher-Order Logic".
- books?vid=ISBN978-0-08-093067-1 date "2014".
- books?vid=ISBN978-0-08-093067-1 editor1First "Dov M.".
- books?vid=ISBN978-0-08-093067-1 editor1Last "Gabbay".
- books?vid=ISBN978-0-08-093067-1 editor2First "Jörg H.".
- books?vid=ISBN978-0-08-093067-1 editor2Last "Siekmann".
- books?vid=ISBN978-0-08-093067-1 editor3First "John".
- books?vid=ISBN978-0-08-093067-1 editor3Last "Woods".
- books?vid=ISBN978-0-08-093067-1 editors "Dov M. Gabbay, Jörg H. Siekmann, John Woods".
- books?vid=ISBN978-0-08-093067-1 first1 "Christoph".
- books?vid=ISBN978-0-08-093067-1 first2 "Dale".
- books?vid=ISBN978-0-08-093067-1 isCitedBy Computational_logic.
- books?vid=ISBN978-0-08-093067-1 isCitedBy Higher-order_logic.
- books?vid=ISBN978-0-08-093067-1 isbn "978-0-08-093067-1".
- books?vid=ISBN978-0-08-093067-1 last1 "Benzmuller".
- books?vid=ISBN978-0-08-093067-1 last2 "Miller".
- books?vid=ISBN978-0-08-093067-1 publisher "Elsevier".
- books?vid=ISBN978-0-08-093067-1 title "Handbook of the History of Logic, Volume 9: Computational Logic".
- books?vid=ISBN978-0-08-093067-1 year "2014".