Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-3-540-19343-2> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- books?vid=ISBN978-3-540-19343-2 chapter "Decision procedure for autoepistemic logic".
- books?vid=ISBN978-3-540-19343-2 chapterurl books?id=xd57Kjl60q0C&pg=PA675.
- books?vid=ISBN978-3-540-19343-2 editor1First "Ewing".
- books?vid=ISBN978-3-540-19343-2 editor1Last "Lusk".
- books?vid=ISBN978-3-540-19343-2 editor2First "Ross".
- books?vid=ISBN978-3-540-19343-2 editor2Last "Overbeek".
- books?vid=ISBN978-3-540-19343-2 first "I.".
- books?vid=ISBN978-3-540-19343-2 isCitedBy Autoepistemic_logic.
- books?vid=ISBN978-3-540-19343-2 isbn "978-3-540-19343-2".
- books?vid=ISBN978-3-540-19343-2 last "Niemelä".
- books?vid=ISBN978-3-540-19343-2 pages "675–684".
- books?vid=ISBN978-3-540-19343-2 publisher "Springer".
- books?vid=ISBN978-3-540-19343-2 series "Lecture Notes in Computer Science".
- books?vid=ISBN978-3-540-19343-2 title "--05-23".
- books?vid=ISBN978-3-540-19343-2 volume "310".
- books?vid=ISBN978-3-540-19343-2 year "1988".