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

(03 Feb 2009)

N protein, Npr protease, Nps, NP time, NQS < Prev | Next > nr, NREM, NREN, Nrk protein kinase

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums