The Boyer-Moore theorem prover

Authors
Publication date 2000
Host editors
  • M. Hazewinkel
Book title Encyclopedia of Mathematics, Supplement II
Pages (from-to) 83-84
Publisher Kluwer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back