Robert H. Boyer

URI: https://gptkb.org/entity/Robert_H._Boyer
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:awardReceived gptkb:Herbrand_Award
gptkbp:employer gptkb:University_of_Texas_at_Austin
gptkbp:fieldOfWork gptkb:mathematics
computer science
automated theorem proving
https://www.w3.org/2000/01/rdf-schema#label Robert H. Boyer
gptkbp:inventedBy gptkb:J_Strother_Moore
gptkbp:knownFor gptkb:Boyer–Moore_string-search_algorithm
gptkb:Boyer–Moore_theorem_prover
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:bfsParent gptkb:Boyer–Lindquist_coordinates
gptkb:Boyer-Lindquist_coordinates
gptkbp:bfsLayer 6