| http://dbpedia.org/ontology/abstract
|
Robert Stephen Boyer is an American retire … Robert Stephen Boyer is an American 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.ann on another theorem prover called ACL2.
, Robert Stephen Boyer (geb. vor 1971) ist e … Robert Stephen Boyer (geb. vor 1971) ist ein US-amerikanischer Informatiker. Er war Professor an der University of Texas at Austin. Boyer studierte an der University of Texas at Austin, an der er 1971 bei Woody Bledsoe promoviert wurde (Locking: A restriction to resolution). 1970/71 forschte er am AI Lab des Massachusetts Institute of Technology und 1971 bis 1973 an der University of Edinburgh. Ab 1973 war er Wissenschaftler bei SRI International in Menlo Park und ab 1981 Professor an der University of Texas at Austin. 2008 emeritierte er. 1985 bis 1987 forschte er außerdem bei der Microelectronics and Computer Technology Corporation in Austin und 1993 bis 1995 bei Computational Logic Inc. in Austin. Er entwickelte mit J Strother Moore den Boyer-Moore-Algorithmus (ein String-Matching-Algorithmus) und ein automatisches Beweisprogramm, den Boyer-Moore Theorem Prover (Nqthm, 1992), für das beide mit Matt Kaufmann 2005 den ACM Software System Award erhielten. Mit Kaufmann und Moore entwickelte er ein weiteres automatisches Beweissystem ACL2 (A Computational Logic for Applicative Common Lisp). 1999 erhielt er den Herbrand Award.Lisp). 1999 erhielt er den Herbrand Award.
, Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin.
, روبرت إس. بوير (بالإنجليزية: Robert S. Boyer) هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين.
|
| http://dbpedia.org/ontology/education
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
|
| http://dbpedia.org/ontology/employer
|
http://dbpedia.org/resource/University_of_Texas_at_Austin +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/ACL2 +
, http://dbpedia.org/resource/Nqthm +
, http://dbpedia.org/resource/Boyer%E2%80%93Moore_string_search_algorithm +
|
| http://dbpedia.org/ontology/occupation
|
http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Robert_S._Boyer__PersonFunction__1 +
, http://dbpedia.org/resource/Computer_scientist +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.cs.utexas.edu/~boyer/ +
, http://www.genealogy.ams.org/id.php%3Fid=13163 +
, http://www.utexas.edu/cola/college_news/current/retiredfaculty08/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
4384637
|
| http://dbpedia.org/ontology/wikiPageLength
|
3005
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1079076903
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/University_of_Texas_at_Austin +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Boyer%E2%80%93Moore_string_search_algorithm +
, http://dbpedia.org/resource/J_Strother_Moore +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/String_searching_algorithm +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/QED_manifesto +
, http://dbpedia.org/resource/Mathematics_Genealogy_Project +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Professor +
, http://dbpedia.org/resource/Nqthm +
, http://dbpedia.org/resource/ACL2 +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Boyer%E2%80%93Moore_majority_vote_algorithm +
, http://dbpedia.org/resource/Category:Lisp_%28programming_language%29_people +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_faculty +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
|
| http://dbpedia.org/property/education
|
Ph.D. in Mathematics
|
| http://dbpedia.org/property/employer
|
http://dbpedia.org/resource/University_of_Texas_at_Austin +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Nqthm +
, http://dbpedia.org/resource/ACL2 +
, http://dbpedia.org/resource/Boyer%E2%80%93Moore_string_search_algorithm +
|
| http://dbpedia.org/property/name
|
Robert S. Boyer
|
| http://dbpedia.org/property/nationality
|
American
|
| http://dbpedia.org/property/occupation
|
http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Mathematician +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:About +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:US-philosopher-stub +
, http://dbpedia.org/resource/Template:US-compu-bio-stub +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:US-mathematician-stub +
, http://dbpedia.org/resource/Template:Infobox_person +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Lisp_%28programming_language%29_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:University_of_Texas_at_Austin_faculty +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/46821597 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Robert_S._Boyer?oldid=1079076903&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Robert_S._Boyer +
|
| http://xmlns.com/foaf/0.1/name
|
Robert S. Boyer
|
| owl:sameAs |
https://global.dbpedia.org/id/4FbDn +
, http://www.wikidata.org/entity/Q4588776 +
, http://d-nb.info/gnd/171987012 +
, http://ar.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D8%B1%D8%AA_%D8%A5%D8%B3._%D8%A8%D9%88%D9%8A%D8%B1 +
, http://data.bibliotheken.nl/id/thes/p069006822 +
, https://dblp.org/pid/b/RobertSBoyer +
, http://fr.dbpedia.org/resource/Robert_S._Boyer +
, http://rdf.freebase.com/ns/m.0b_d97 +
, http://yago-knowledge.org/resource/Robert_S._Boyer +
, http://mg.dbpedia.org/resource/Robert_S._Boyer +
, http://de.dbpedia.org/resource/Robert_S._Boyer +
, http://viaf.org/viaf/46821597 +
, http://dbpedia.org/resource/Robert_S._Boyer +
|
| rdf:type |
http://dbpedia.org/class/yago/YagoLegalActor +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfEdinburgh +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatAmericanScientists +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
|
| rdfs:comment |
روبرت إس. بوير (بالإنجليزية: Robert S. Boyer) هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين.
, Robert Stephen Boyer (geb. vor 1971) ist e … Robert Stephen Boyer (geb. vor 1971) ist ein US-amerikanischer Informatiker. Er war Professor an der University of Texas at Austin. Boyer studierte an der University of Texas at Austin, an der er 1971 bei Woody Bledsoe promoviert wurde (Locking: A restriction to resolution). 1970/71 forschte er am AI Lab des Massachusetts Institute of Technology und 1971 bis 1973 an der University of Edinburgh. Ab 1973 war er Wissenschaftler bei SRI International in Menlo Park und ab 1981 Professor an der University of Texas at Austin. 2008 emeritierte er. 1999 erhielt er den Herbrand Award.te er. 1999 erhielt er den Herbrand Award.
, Robert Stephen Boyer is an American retire … Robert Stephen Boyer is an American 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.ann on another theorem prover called ACL2.
, Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin.
|
| rdfs:label |
Robert S. Boyer
, روبرت إس. بوير
|
