J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his Bachelor of Science (SB) in mathematics at Massachusetts Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.) in computational logic at the University of Edinburgh in Scotland in 1973.
designer
developer
doctoral student
Wikipage disambiguates
Wikipage redirect
ACL2ACM Software System AwardBernard Meltzer (computer scientist)Boyer–Moore majority vote algorithmBoyer–Moore string-search algorithmComputational logicHerbrand AwardInterlispJ. S. MooreJ. Strother MooreList of Lisp-family programming languagesList of University of Edinburgh peopleList of computer scientistsList of fellows of the Association for Computing MachineryList of members of the National Academy of Engineering (Computer science)List of people with surname MooreMatt KaufmannNatarajan ShankarNqthmPiece tableProof assistantRobert S. BoyerRod BurstallStrotherStrother Moore
Link from a Wikipage to another Wikipage
doctoral students
primaryTopic
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his Bachelor of Science (SB) in mathematics at Massachusetts Institute of Technology in 1970 and his Doctor of Philosophy (Ph.D.) in computational logic at the University of Edinburgh in Scotland in 1973.
has abstract
J Strother Moore (* 11. Septem ...... t passionierter Felskletterer.
@de
J Strother Moore (his first na ...... r. Moore enjoys rock climbing.
@en
J Strother Moore (né le 11 sep ...... et n'est pas une abréviation.
@fr
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,006,704,768
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
J Strother Moore (* 11. Septem ...... t passionierter Felskletterer.
@de
J Strother Moore (his first na ...... Edinburgh in Scotland in 1973.
@en
J Strother Moore (né le 11 sep ...... et n'est pas une abréviation.
@fr
label
J Strother Moore
@de
J Strother Moore
@en
J Strother Moore
@fr