Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN3-540-43376-7> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN3-540-43376-7 author1Link "Tobias Nipkow".
- books?vid=ISBN3-540-43376-7 author2Link "Lawrence C. Paulson".
- books?vid=ISBN3-540-43376-7 first1 "Tobias".
- books?vid=ISBN3-540-43376-7 first2 "Lawrence C.".
- books?vid=ISBN3-540-43376-7 first3 "Markus".
- books?vid=ISBN3-540-43376-7 isCitedBy Parity_of_zero.
- books?vid=ISBN3-540-43376-7 isbn "3-540-43376-7".
- books?vid=ISBN3-540-43376-7 last1 "Nipkow".
- books?vid=ISBN3-540-43376-7 last2 "Paulson".
- books?vid=ISBN3-540-43376-7 last3 "Wenzel".
- books?vid=ISBN3-540-43376-7 publisher "Springer".
- books?vid=ISBN3-540-43376-7 title "Isabelle/Hol: A Proof Assistant for Higher-Order Logic".
- books?vid=ISBN3-540-43376-7 year "2002".