Open main menu

Wikimedia Commons β

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.