Last modified on 13 October 2010, at 22:28

Category:J Strother Moore

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.