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

Try this search on Wikipedia, OneLook, Google

Nearby terms: N-Prolog « NP time « NQS « Nqthm » nr » NREN » nroff


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.