Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-3-540-25596-3> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- books?vid=ISBN978-3-540-25596-3 author "Dershowitz, N. and Castedo Ellerman, E.".
- books?vid=ISBN978-3-540-25596-3 author "Dershowitz, N.".
- books?vid=ISBN978-3-540-25596-3 author "Hirokawa, N.".
- books?vid=ISBN978-3-540-25596-3 author "Jouannaud, J.-P.".
- books?vid=ISBN978-3-540-25596-3 author2 "Middeldorp, A.".
- books?vid=ISBN978-3-540-25596-3 contribution "Leanest Quasi-orderings".
- books?vid=ISBN978-3-540-25596-3 contribution "Term Rewriting and Applications".
- books?vid=ISBN978-3-540-25596-3 contribution "Twenty Years Later".
- books?vid=ISBN978-3-540-25596-3 contribution "Tyrolean Termination Tool".
- books?vid=ISBN978-3-540-25596-3 editor "Giesl, J.".
- books?vid=ISBN978-3-540-25596-3 isCitedBy Jean-Pierre_Jouannaud.
- books?vid=ISBN978-3-540-25596-3 isCitedBy Nachum_Dershowitz.
- books?vid=ISBN978-3-540-25596-3 isCitedBy Termination_analysis.
- books?vid=ISBN978-3-540-25596-3 isbn "978-3-540-25596-3".
- books?vid=ISBN978-3-540-25596-3 pages "175–184".
- books?vid=ISBN978-3-540-25596-3 pages "32-45".
- books?vid=ISBN978-3-540-25596-3 pages "368–375".
- books?vid=ISBN978-3-540-25596-3 pages "376-393".
- books?vid=ISBN978-3-540-25596-3 publisher "Springer".
- books?vid=ISBN978-3-540-25596-3 series "LNCS".
- books?vid=ISBN978-3-540-25596-3 title "Term Rewriting and Applications, 16th Int. Conf., RTA-05".
- books?vid=ISBN978-3-540-25596-3 volume "3467".
- books?vid=ISBN978-3-540-25596-3 year "2005".