Encyclopedia > J > J Strother Moore
J Strother Moore
J Strother Moore is a computer scientist, and is co-developer of the Boyer-Moore string search algorithm and the Boyer-Moore automated theorem prover, NQTHM. A good example of the workings of the Boyer-Moore string search algorithm is given in his website along with the Knuth-Morris-Pratt algorithm.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)