A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover (1988)
by
Matt Kaufmann
| Citations: | 43 - 16 self |
BibTeX
@MISC{Kaufmann88auser's,
author = {Matt Kaufmann},
title = {A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover},
year = {1988}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 505 | A Computational Logic - Boyer, Moore - 1979 |
| 98 | Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures - Boyer, Moore - 1981 |
| 8 | The User's Manual for A Computational Logic - Boyer, Moore - 1988 |
| 2 | The User's Manual for A Computational Logic (Draft - Boyer, Moore - 1987 |
