Matches in DBpedia 2016-04 for { <http://www.cs.uni-potsdam.de/ti/kreitz/Talks/00stp-nuprl-slides.pdf> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 00stp-nuprl-slides.pdf accessdate "2015-03-07".
- 00stp-nuprl-slides.pdf first1 "Stuart".
- 00stp-nuprl-slides.pdf first2 "Robert".
- 00stp-nuprl-slides.pdf first3 "Richard".
- 00stp-nuprl-slides.pdf first4 "Christoph".
- 00stp-nuprl-slides.pdf first5 "Lori".
- 00stp-nuprl-slides.pdf isCitedBy Nuprl.
- 00stp-nuprl-slides.pdf last1 "Allen".
- 00stp-nuprl-slides.pdf last2 "Constable".
- 00stp-nuprl-slides.pdf last3 "Eaton".
- 00stp-nuprl-slides.pdf last4 "Kreitz".
- 00stp-nuprl-slides.pdf last5 "Lorigo".
- 00stp-nuprl-slides.pdf title "The Nuprl Open Logical Environment".
- 00stp-nuprl-slides.pdf url "http://www.cs.uni-potsdam.de/ti/kreitz/Talks/00stp-nuprl-slides.pdf".