Revision as of 14:50, 30 January 2023 edit Lol1VNIO (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 34,932 edits m →‎top: dash, replaced: Boyer–Moore string search algorithm → Boyer–Moore string-search algorithm (2) Tag: AWB ← Previous edit		Revision as of 04:27, 25 May 2023 edit undo Flavbeli (talk \| contribs) 151 edits mNo edit summary Next edit →
Line 15: \|education = [[Doctor of Philosophy\|Ph.D.]] in [[Mathematics]] \|known_for = [[Boyer–Moore string-search algorithm]], [[Nqthm]], [[ACL2]] \|employer = [[University of Texas at Austin\|The University of Texas at Austin]]<br>[[University of Edinburgh]] \|occupation = [[Computer scientist]], [[mathematician]] \|awards =

Robert S. Boyer: Difference between revisions