Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Frank_Pfenning> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Frank_Pfenning.
- Conference_on_Automated_Deduction wikiPageWikiLink Frank_Pfenning.
- Dependent_ML wikiPageWikiLink Frank_Pfenning.
- Higher-order_abstract_syntax wikiPageWikiLink Frank_Pfenning.
- Jean-Pierre_Jouannaud wikiPageWikiLink Frank_Pfenning.
- Logical_framework wikiPageWikiLink Frank_Pfenning.
- Peter_B._Andrews wikiPageWikiLink Frank_Pfenning.
- Pfennig_(surname) wikiPageWikiLink Frank_Pfenning.
- Proof_assistant wikiPageWikiLink Frank_Pfenning.
- Types_and_Programming_Languages wikiPageWikiLink Frank_Pfenning.
- books?vid=ISBN978-1-4020-0608-1 author Frank_Pfenning.
- f91a4618f25f3f97ad514b463ef3fead2000af85493fff837a2d15cad0dbfeee editor Frank_Pfenning.
- fellows-2015 isCitedBy Frank_Pfenning.
- squash.php isCitedBy Frank_Pfenning.
- article.php?a=3477 isCitedBy Frank_Pfenning.
- Frank_Pfenning primaryTopic Frank_Pfenning.