Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/J_Strother_Moore> }
Showing triples 1 to 34 of
34
with 100 triples per page.
- ACL2 designer J_Strother_Moore.
- ACL2 developer J_Strother_Moore.
- Rod_Burstall doctoralStudent J_Strother_Moore.
- Strother wikiPageDisambiguates J_Strother_Moore.
- J._S._Moore wikiPageRedirects J_Strother_Moore.
- J._Strother_Moore wikiPageRedirects J_Strother_Moore.
- Strother_Moore wikiPageRedirects J_Strother_Moore.
- ACL2 wikiPageWikiLink J_Strother_Moore.
- ACM_Software_System_Award wikiPageWikiLink J_Strother_Moore.
- Automated_theorem_proving wikiPageWikiLink J_Strother_Moore.
- Boyer–Moore_string_search_algorithm wikiPageWikiLink J_Strother_Moore.
- Computational_logic wikiPageWikiLink J_Strother_Moore.
- Herbrand_Award wikiPageWikiLink J_Strother_Moore.
- Interlisp wikiPageWikiLink J_Strother_Moore.
- J._S._Moore wikiPageWikiLink J_Strother_Moore.
- J._Strother_Moore wikiPageWikiLink J_Strother_Moore.
- List_of_University_of_Edinburgh_people wikiPageWikiLink J_Strother_Moore.
- List_of_computer_scientists wikiPageWikiLink J_Strother_Moore.
- List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) wikiPageWikiLink J_Strother_Moore.
- List_of_people_with_surname_Moore wikiPageWikiLink J_Strother_Moore.
- Matt_Kaufmann wikiPageWikiLink J_Strother_Moore.
- Natarajan_Shankar wikiPageWikiLink J_Strother_Moore.
- Nqthm wikiPageWikiLink J_Strother_Moore.
- Proof_assistant wikiPageWikiLink J_Strother_Moore.
- Robert_S._Boyer wikiPageWikiLink J_Strother_Moore.
- Rod_Burstall wikiPageWikiLink J_Strother_Moore.
- Strother wikiPageWikiLink J_Strother_Moore.
- Strother_Moore wikiPageWikiLink J_Strother_Moore.
- University_of_Edinburgh_School_of_Informatics wikiPageWikiLink J_Strother_Moore.
- Rod_Burstall doctoralStudents J_Strother_Moore.
- biography.html isCitedBy J_Strother_Moore.
- education.html isCitedBy J_Strother_Moore.
- index.html isCitedBy J_Strother_Moore.
- J_Strother_Moore primaryTopic J_Strother_Moore.