| Shelfclass_id | 4.B.3 |
| Sortkey | BOYER, ROBERT S |
| Authors | Robert S. Boyer, J. Strother Moore |
| Title | A Computational Logic |
| Publisher | Academic Press |
| Year | c1979 |
| Languages | eng |
| Isbn | 0121229505 |
| Series | ACM monograph series |
| Description | xiv, 397 p. 24 cm |
| Record date | 20060712 |
| Location | New York |
| Keywords | Automatic theorem proving |
| Notes | Includes index |