Robert S. Boyer - CaLiGraph

Property	Value
rdf:type	Fellow of the Association for the Advancement of Artificial Intelligence Formal methods person owl:NamedIndividual Alumnus of the University of Edinburgh American scientist Computer scientist Contributor to general relativity Living person People by Erdős number Ten Outstanding Young Americans University of Texas at Austin faculty
rdfs:label	Robert S. Boyer
owl:sameAs	dbr:Robert_S._Boyer
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Gary_Denniss http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z) http://en.wikipedia.org/wiki/List_of_American_scientists http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Regulation_school http://en.wikipedia.org/wiki/List_of_Ten_Outstanding_Young_Americans http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/List_of_contributors_to_general_relativity http://en.wikipedia.org/wiki/List_of_University_of_Texas_at_Austin_faculty http://en.wikipedia.org/wiki/Timeline_of_gravitational_physics_and_relativity
skos:prefLabel	Robert S. Boyer
skos:altLabel	Bob Boyer Robert Boyer Robert Stephen Boyer
clgo:award	Association for the Advancement of Artificial Intelligence
clgo:education	Mathematics Doctor of Philosophy
clgo:employer	University of Texas at Austin
clgo:institution	University of Texas at Austin
clgo:knownFor	Boyer–Moore string-search algorithm ACL2 Nqthm
clgo:occupation	Mathematician Computer scientist
is clgo:designer of	ACL2
is clgo:doctoralStudent of	Woody Bledsoe

About: clgr:Robert_S._Boyer