Category:J Strother Moore
From Wikimedia Commons, the free media repository
English: 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.