Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN0-521-77920-0> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- books?vid=ISBN0-521-77920-0 author1 Franz_Baader.
- books?vid=ISBN0-521-77920-0 author2 Tobias_Nipkow.
- books?vid=ISBN0-521-77920-0 authorlink1 "Franz Baader".
- books?vid=ISBN0-521-77920-0 authorlink2 "Tobias Nipkow".
- books?vid=ISBN0-521-77920-0 first1 "Franz".
- books?vid=ISBN0-521-77920-0 first2 "Tobias".
- books?vid=ISBN0-521-77920-0 isCitedBy Convergence_(logic).
- books?vid=ISBN0-521-77920-0 isCitedBy Normalization_property_(abstract_rewriting).
- books?vid=ISBN0-521-77920-0 isCitedBy Rewriting.
- books?vid=ISBN0-521-77920-0 isCitedBy Satisfiability.
- books?vid=ISBN0-521-77920-0 isCitedBy Term_algebra.
- books?vid=ISBN0-521-77920-0 isbn "0-521-77920-0".
- books?vid=ISBN0-521-77920-0 last1 "Baader".
- books?vid=ISBN0-521-77920-0 last2 "Nipkow".
- books?vid=ISBN0-521-77920-0 pages "49".
- books?vid=ISBN0-521-77920-0 pages "58–92".
- books?vid=ISBN0-521-77920-0 publisher "Cambridge University Press".
- books?vid=ISBN0-521-77920-0 title "Term Rewriting and All That".
- books?vid=ISBN0-521-77920-0 title "Term rewriting and all that".
- books?vid=ISBN0-521-77920-0 url books?id=N7BvXVUCQk8C&dq.
- books?vid=ISBN0-521-77920-0 year "1998".
- books?vid=ISBN0-521-77920-0 year "1999".