Word:

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)].
Browse
NPAC
NPC
NPD
NPDA
NPH
NPH insulin
NPI
NPL
NPM
NPMS
NPPL
NPSI
NPSS
NPTN
NPV
NQS
-- Nqthm --
nr
NRA
NRC
NRCLSE
NREM
NREM sleep
NREN
NRFD
NRL
NRLB
NRM
NRN
nRNA
NRO
nroff
NRS
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home