Category:J Strother Moore

From Wikimedia Commons, the free media repository
Jump to: navigation, search
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.