Boyer–Moore theorem prover
From Encyclopedia of Mathematics
Redirect page
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
Boyer–Moore theorem prover. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boyer%E2%80%93Moore_theorem_prover&oldid=22180