Pages that link to "J Strother Moore"
Showing 38 items.
- List of computer scientists (links | edit)
- ACL2 (links | edit)
- Interlisp (links | edit)
- Boyer–Moore string-search algorithm (links | edit)
- School of Informatics, University of Edinburgh (links | edit)
- Proof assistant (links | edit)
- J. Strother Moore (redirect page) (links | edit)
- Herbrand Award (links | edit)
- Robert S. Boyer (links | edit)
- List of University of Edinburgh people (links | edit)
- Computational logic (links | edit)
- Nqthm (links | edit)
- Rod Burstall (links | edit)
- Strother (links | edit)
- ACM Software System Award (links | edit)
- Matt Kaufmann (links | edit)
- List of people with surname Moore (links | edit)
- List of University of Texas at Austin faculty (links | edit)
- Natarajan Shankar (links | edit)
- J. S. Moore (redirect page) (links | edit)
- Piece table (links | edit)
- Strother Moore (redirect page) (links | edit)
- Boyer–Moore majority vote algorithm (links | edit)
- List of people associated with PARC (links | edit)
- List of Lisp-family programming languages (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Bernard Meltzer (computer scientist) (links | edit)
- Talk:J Strother Moore (transclusion) (links | edit)
- User:Vkuncak (links | edit)
- User:Tony Sidaway/Living people/tranche 061 (links | edit)
- User:RMcPhillip/sandbox/boyer-moore (links | edit)
- User:Stinglehammer/FemaleScientists (links | edit)
- User:Stinglehammer/University of Edinburgh Alumni (links | edit)
- User talk:Efidos2 (links | edit)
- User talk:Lightning revenant (links | edit)
- Wikipedia:Reference desk/Archives/Mathematics/2007 September 29 (links | edit)
- Wikipedia:WikiProject Stanford University/SRI International task force (links | edit)
- Wikipedia:Village pump (policy)/Archive 127 (links | edit)