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



< Previous Terms Terms Containing Nqthm Next Terms >
NPL
NPPL
N-Prolog
NP time
NQS
nr
NREN
nroff
NRZ
NRZI