Definition: nqthm
Source: The Free On-line Dictionary of Computing (2003-OCT-10)
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)].
Source: The Free On-line Dictionary of Computing (2003-OCT-10)
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)].
