follow Dictionary.com

Stories We Like: Novels For Language Lovers

nqthm

nqthm in Technology

The language used in the Boyer-Moore theorem prover.
["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for nqthm

0
0
Scrabble Words With Friends

Nearby words for nqthm