English Computing Dictionary
▪ nppl
▪ nqs
▪ nqthm
▪ nr
▪ nren
◊ NQTHM
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)].
nppl
nqs
nqthm
nr
nren
Copyright © 2022 NeoDict.Com. All rights reserved. Email:
mailto:
[email protected]