Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Robert_S._Boyer> ?p ?o }
Showing triples 1 to 65 of
65
with 100 triples per page.
- Robert_S._Boyer abstract "Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also collaborated on the Boyer–Moore automated theorem prover, Nqthm, in 1992. Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.".
- Robert_S._Boyer wikiPageExternalLink ~boyer.
- Robert_S._Boyer wikiPageExternalLink id.php?id=13163.
- Robert_S._Boyer wikiPageExternalLink retiredfaculty08.
- Robert_S._Boyer wikiPageID "4384637".
- Robert_S._Boyer wikiPageLength "2273".
- Robert_S._Boyer wikiPageOutDegree "19".
- Robert_S._Boyer wikiPageRevisionID "707198551".
- Robert_S._Boyer wikiPageWikiLink ACL2.
- Robert_S._Boyer wikiPageWikiLink Boyer–Moore_string_search_algorithm.
- Robert_S._Boyer wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Robert_S._Boyer wikiPageWikiLink Category:American_scientists.
- Robert_S._Boyer wikiPageWikiLink Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Robert_S._Boyer wikiPageWikiLink Category:Formal_methods_people.
- Robert_S._Boyer wikiPageWikiLink Category:Living_people.
- Robert_S._Boyer wikiPageWikiLink Category:University_of_Texas_at_Austin_faculty.
- Robert_S._Boyer wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Robert_S._Boyer wikiPageWikiLink Computer_science.
- Robert_S._Boyer wikiPageWikiLink J_Strother_Moore.
- Robert_S._Boyer wikiPageWikiLink Mathematics.
- Robert_S._Boyer wikiPageWikiLink Mathematics_Genealogy_Project.
- Robert_S._Boyer wikiPageWikiLink Nqthm.
- Robert_S._Boyer wikiPageWikiLink Philosophy.
- Robert_S._Boyer wikiPageWikiLink Professor.
- Robert_S._Boyer wikiPageWikiLink QED_manifesto.
- Robert_S._Boyer wikiPageWikiLink String_searching_algorithm.
- Robert_S._Boyer wikiPageWikiLink University_of_Texas_at_Austin.
- Robert_S._Boyer wikiPageWikiLinkText "Bob Boyer".
- Robert_S._Boyer wikiPageWikiLinkText "Boyer, Robert S.".
- Robert_S._Boyer wikiPageWikiLinkText "Robert Boyer".
- Robert_S._Boyer wikiPageWikiLinkText "Robert S. Boyer".
- Robert_S._Boyer wikiPageWikiLinkText "Robert Stephen Boyer".
- Robert_S._Boyer wikiPageUsesTemplate Template:About.
- Robert_S._Boyer wikiPageUsesTemplate Template:Authority_control.
- Robert_S._Boyer wikiPageUsesTemplate Template:US-compu-bio-stub.
- Robert_S._Boyer wikiPageUsesTemplate Template:US-mathematician-stub.
- Robert_S._Boyer wikiPageUsesTemplate Template:US-philosopher-stub.
- Robert_S._Boyer subject Category:Alumni_of_the_University_of_Edinburgh.
- Robert_S._Boyer subject Category:American_scientists.
- Robert_S._Boyer subject Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Robert_S._Boyer subject Category:Formal_methods_people.
- Robert_S._Boyer subject Category:Living_people.
- Robert_S._Boyer subject Category:University_of_Texas_at_Austin_faculty.
- Robert_S._Boyer subject Category:Year_of_birth_missing_(living_people).
- Robert_S._Boyer hypernym Professor.
- Robert_S._Boyer type List.
- Robert_S._Boyer type Person.
- Robert_S._Boyer type Philosopher.
- Robert_S._Boyer type Scientist.
- Robert_S._Boyer type List.
- Robert_S._Boyer type Mathematician.
- Robert_S._Boyer type Member.
- Robert_S._Boyer type Method.
- Robert_S._Boyer type Philosopher.
- Robert_S._Boyer type Scientist.
- Robert_S._Boyer type Thing.
- Robert_S._Boyer comment "Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also collaborated on the Boyer–Moore automated theorem prover, Nqthm, in 1992. Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.".
- Robert_S._Boyer label "Robert S. Boyer".
- Robert_S._Boyer sameAs Q4588776.
- Robert_S._Boyer sameAs Robert_S._Boyer.
- Robert_S._Boyer sameAs Robert_S._Boyer.
- Robert_S._Boyer sameAs m.0b_d97.
- Robert_S._Boyer sameAs Q4588776.
- Robert_S._Boyer wasDerivedFrom Robert_S._Boyer?oldid=707198551.
- Robert_S._Boyer isPrimaryTopicOf Robert_S._Boyer.