Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Nuprl> }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Robert_Lee_Constable knownFor Nuprl.
- Nuprl wikiPageRedirects Nuprl.
- NuPRL wikiPageRedirects Nuprl.
- Automated_theorem_proving wikiPageWikiLink Nuprl.
- Dependent_type wikiPageWikiLink Nuprl.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Nuprl.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Nuprl.
- Intuitionistic_type_theory wikiPageWikiLink Nuprl.
- Nuprl wikiPageWikiLink Nuprl.
- NuPRL wikiPageWikiLink Nuprl.
- Parametric_polymorphism wikiPageWikiLink Nuprl.
- Per_Martin-Löf wikiPageWikiLink Nuprl.
- Prakash_Panangaden wikiPageWikiLink Nuprl.
- Proof_assistant wikiPageWikiLink Nuprl.
- Robert_Lee_Constable wikiPageWikiLink Nuprl.
- Type_theory wikiPageWikiLink Nuprl.
- Vsync_(computing) wikiPageWikiLink Nuprl.
- 02cucs-NuprlManual.pdf isCitedBy Nuprl.
- books?vid=ISBN1468059106 isCitedBy Nuprl.
- 00stp-nuprl-slides.pdf isCitedBy Nuprl.
- Publications isCitedBy Nuprl.
- NuprlSystem.html isCitedBy Nuprl.
- FDL-diagram.png isCitedBy Nuprl.
- Robert_Lee_Constable knownFor Nuprl.
- Nuprl primaryTopic Nuprl.