VDict - Definition of Boyer-Moore theorem prover

search result for Boyer-Moore theorem prover in Computing (FOLDOC) dictionary

Nqthm Baroque Multipop-68 LOP Green's Theorem Sequel PLANNER Qu-Prolog Isabelle four colour map theorem DeMorgan's theorem Moore graph General Recursion Theorem head normalisation theorem Infinite Monkey Theorem Nyquist Theorem four colour theorem Computational Adequacy Theorem von Neumann ordinal Moore's Law Church-Rosser Theorem CLEAR Carl Friedrich Gauss two-valued logic Moore bound mcvert graph CypherText Steve's Shell GAMMA Parkinson's Law of Data Axiom of Choice QA4 CONNIVER twonkie Brouwer Fixed-Point Theorem prime number theorem metalanguage Nyquist frequency normal order reduction Banach inverse mapping theorem axiomatic set theory graph colouring hairy ball webmonkey deductive tableau chromatic number ill-behaved norm bogo-sort De Bruijn notation complex number intuitionistic logic one-banana problem eigenvector Cantor Banach space Intel Corporation FORTH occurs check Prolog Electronic Numerical Integrator and Computer flame