Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Interactive_Theorem_Proving_(conference)> . }
Showing items 1 to 6 of
6
with 100 items per page.
- ITP wikiPageDisambiguates Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving wikiPageRedirects Interactive_Theorem_Proving_(conference).
- TPHOLs wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher-Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher_Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving_(conference) primaryTopic Interactive_Theorem_Proving_(conference).