Open main menu
Read in another language
Category:J Strother Moore
J Strother Moore
is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm.
Media in category "J Strother Moore"
The following 4 files are in this category, out of 4 total.
ACM 2005 Software System Award.jpg
FLoC2006 ACL2 Special Congratulations.jpg
J Strother Moore FLoC 2006.jpg
J Strother Moore, Matt Kaufmann FLoC 2006.jpg
Retrieved from "