Nqthm
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)].Nearby terms:
N-Prolog ♦ NP time ♦ NP tricky ♦ NQS ♦ Nqthm ♦ nr ♦ NREN ♦ nroff ♦ NRZ ♦ NRZI
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
