| Shelfclass_id | 4.B.3 |
| Sortkey | BOYER, ROBERT S |
| Authors | Robert S. Boyer, J. Strother Moore |
| Title | A Computational Logic Handbook |
| Publisher | Academic Press |
| Edition | 2nd ed. |
| Year | c1988 |
| Languages | eng |
| Isbn | 0121229556 |
| Series | Academic press international series in formal methods |
| Description | xvi, 408 p. 24 cm |
| Record date | 20060712 |
| Location | Boston |
| Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |
| Notes | Includes index |