Nqthm

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)].