Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-3-540-60178-4> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- books?vid=ISBN978-3-540-60178-4 chapter "On Herbrand's Theorem".
- books?vid=ISBN978-3-540-60178-4 chapterurl herbrandtheorem.
- books?vid=ISBN978-3-540-60178-4 editor1First "Daniel".
- books?vid=ISBN978-3-540-60178-4 editor1Last "Maurice".
- books?vid=ISBN978-3-540-60178-4 editor2First "Raphaël".
- books?vid=ISBN978-3-540-60178-4 editor2Last "Leivant".
- books?vid=ISBN978-3-540-60178-4 first1 "Samuel R.".
- books?vid=ISBN978-3-540-60178-4 isCitedBy Herbrands_theorem.
- books?vid=ISBN978-3-540-60178-4 isbn "978-3-540-60178-4".
- books?vid=ISBN978-3-540-60178-4 last1 "Buss".
- books?vid=ISBN978-3-540-60178-4 location "Berlin, New York".
- books?vid=ISBN978-3-540-60178-4 pages "195–209".
- books?vid=ISBN978-3-540-60178-4 publisher Springer-Verlag.
- books?vid=ISBN978-3-540-60178-4 series "Lecture Notes in Computer Science".
- books?vid=ISBN978-3-540-60178-4 title "Logic and Computational Complexity".
- books?vid=ISBN978-3-540-60178-4 year "1995".