Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-387-23759-6> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN978-0-387-23759-6 first1 "Iman".
- books?vid=ISBN978-0-387-23759-6 first2 "John".
- books?vid=ISBN978-0-387-23759-6 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN978-0-387-23759-6 isbn "978-0-387-23759-6".
- books?vid=ISBN978-0-387-23759-6 last1 "Poernomo".
- books?vid=ISBN978-0-387-23759-6 last2 "Crossley".
- books?vid=ISBN978-0-387-23759-6 last3 "Wirsing".
- books?vid=ISBN978-0-387-23759-6 last4 "Martin".
- books?vid=ISBN978-0-387-23759-6 origyear "2005".
- books?vid=ISBN978-0-387-23759-6 publisher Springer_Science+Business_Media.
- books?vid=ISBN978-0-387-23759-6 series "Monographs in Computer Science".
- books?vid=ISBN978-0-387-23759-6 title "Adapting Proofs-as-Programs: The Curry–Howard Protocol".
- books?vid=ISBN978-0-387-23759-6 year "2005".