Matches in DBpedia 2016-04 for { <http://www.cse.chalmers.se/research/group/logic/book/> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- book authorlink1 "Bengt Nordström".
- book first1 "Bengt".
- book first2 "Kent".
- book first3 "Jan M.".
- book isCitedBy Dependent_type.
- book last1 "Nordström".
- book last2 "Petersson".
- book last3 "Smith".
- book publisher "Oxford University Press".
- book title "Programming in Martin-Löf's Type Theory: An Introduction".
- book url book.
- book year "1990".