Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN9783540741138> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- books?vid=ISBN9783540741138 author2Link "Zohar Manna".
- books?vid=ISBN9783540741138 first1 "Aaron R.".
- books?vid=ISBN9783540741138 first2 "Zohar".
- books?vid=ISBN9783540741138 isCitedBy Fragment_(logic).
- books?vid=ISBN9783540741138 isbn "9783540741138".
- books?vid=ISBN9783540741138 last1 "Bradley".
- books?vid=ISBN9783540741138 last2 "Manna".
- books?vid=ISBN9783540741138 page "70".
- books?vid=ISBN9783540741138 publisher "Springer".
- books?vid=ISBN9783540741138 title "The Calculus of Computation: Decision Procedures with Applications to Verification".
- books?vid=ISBN9783540741138 url books?id=0MbX7xVpffAC&pg=PA70.
- books?vid=ISBN9783540741138 year "2007".