Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Matt_Kaufmann> }
Showing triples 1 to 8 of
8
with 100 triples per page.
- ACL2 designer Matt_Kaufmann.
- ACL2 developer Matt_Kaufmann.
- ACL2 wikiPageWikiLink Matt_Kaufmann.
- ACM_Software_System_Award wikiPageWikiLink Matt_Kaufmann.
- Langley_High_School_(Fairfax_County,_Virginia) wikiPageWikiLink Matt_Kaufmann.
- Nqthm wikiPageWikiLink Matt_Kaufmann.
- Proof_assistant wikiPageWikiLink Matt_Kaufmann.
- Matt_Kaufmann primaryTopic Matt_Kaufmann.