Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-3-540-68084-0> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN978-3-540-68084-0 accessdate "2014-03-17".
- books?vid=ISBN978-3-540-68084-0 chapter "On Normalization by Evaluation for Object Calculi".
- books?vid=ISBN978-3-540-68084-0 chapterurl 978-3-540-68103-8_12.
- books?vid=ISBN978-3-540-68084-0 date "2008-01-01".
- books?vid=ISBN978-3-540-68084-0 editors "Marino Miculan, Ivan Scagnetto, Furio Honsell".
- books?vid=ISBN978-3-540-68084-0 first "J.".
- books?vid=ISBN978-3-540-68084-0 isCitedBy Baby_modula-3.
- books?vid=ISBN978-3-540-68084-0 isbn "978-3-540-68084-0".
- books?vid=ISBN978-3-540-68084-0 last "Schwinghammer".
- books?vid=ISBN978-3-540-68084-0 pages "173–187".
- books?vid=ISBN978-3-540-68084-0 publisher "Springer Berlin Heidelberg".
- books?vid=ISBN978-3-540-68084-0 series "Lecture Notes in Computer Science".
- books?vid=ISBN978-3-540-68084-0 title "Types for Proofs and Programs".