Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Robert_S._Boyer> }
Showing triples 1 to 30 of
30
with 100 triples per page.
- ACL2 designer Robert_S._Boyer.
- Woody_Bledsoe doctoralStudent Robert_S._Boyer.
- Boyer wikiPageDisambiguates Robert_S._Boyer.
- R.S._Boyer wikiPageRedirects Robert_S._Boyer.
- Robert_Stephen_Boyer wikiPageRedirects Robert_S._Boyer.
- ACL2 wikiPageWikiLink Robert_S._Boyer.
- ACM_Software_System_Award wikiPageWikiLink Robert_S._Boyer.
- Automated_theorem_proving wikiPageWikiLink Robert_S._Boyer.
- Boyer wikiPageWikiLink Robert_S._Boyer.
- Boyer–Moore_string_search_algorithm wikiPageWikiLink Robert_S._Boyer.
- Computational_logic wikiPageWikiLink Robert_S._Boyer.
- Herbrand_Award wikiPageWikiLink Robert_S._Boyer.
- Index_of_philosophy_articles_(R–Z) wikiPageWikiLink Robert_S._Boyer.
- J_Strother_Moore wikiPageWikiLink Robert_S._Boyer.
- List_of_American_scientists wikiPageWikiLink Robert_S._Boyer.
- List_of_University_of_Edinburgh_people wikiPageWikiLink Robert_S._Boyer.
- List_of_University_of_Texas_at_Austin_faculty wikiPageWikiLink Robert_S._Boyer.
- List_of_computer_scientists wikiPageWikiLink Robert_S._Boyer.
- List_of_mathematicians_(B) wikiPageWikiLink Robert_S._Boyer.
- List_of_people_by_Erdős_number wikiPageWikiLink Robert_S._Boyer.
- Matt_Kaufmann wikiPageWikiLink Robert_S._Boyer.
- Natarajan_Shankar wikiPageWikiLink Robert_S._Boyer.
- Nqthm wikiPageWikiLink Robert_S._Boyer.
- QED_manifesto wikiPageWikiLink Robert_S._Boyer.
- R.S._Boyer wikiPageWikiLink Robert_S._Boyer.
- Robert_Boyer wikiPageWikiLink Robert_S._Boyer.
- Robert_Stephen_Boyer wikiPageWikiLink Robert_S._Boyer.
- University_of_Edinburgh_School_of_Informatics wikiPageWikiLink Robert_S._Boyer.
- Woody_Bledsoe wikiPageWikiLink Robert_S._Boyer.
- Robert_S._Boyer primaryTopic Robert_S._Boyer.