Matches in DBpedia 2015-10 for { <http://www.cs.cmu.edu/~fp/papers/mdorf01.pdf> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- mdorf01.pdf author Frank_Pfenning.
- mdorf01.pdf chapter "Logical frameworks—a brief introduction".
- mdorf01.pdf editor "Helmut Schwichtenberg, Ralf Steinbrüggen".
- mdorf01.pdf isCitedBy Logical_framework.
- mdorf01.pdf isbn "978-1-4020-0608-1".
- mdorf01.pdf publisher "Springer".
- mdorf01.pdf title "Proof and system-reliability".
- mdorf01.pdf url mdorf01.pdf.
- mdorf01.pdf year "2002".