Namespaces
Variants
Actions

Boyer–Moore theorem prover

From Encyclopedia of Mathematics
Revision as of 18:51, 24 March 2012 by Ulf Rehmann (talk | contribs) (moved Boyer–Moore theorem prover to Boyer-Moore theorem prover: ascii title)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Redirect page
Jump to: navigation, search

Redirect to:

How to Cite This Entry:
Boyer–Moore theorem prover. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boyer%E2%80%93Moore_theorem_prover&oldid=22180
Retrieved from "https://encyclopediaofmath.org/index.php?title=Boyer–Moore_theorem_prover&oldid=22180"