| Shelfclass_id | 4.B.3 |
| Sortkey | BOYER, ROBERT S |
| Authors | Robert S. Boyer |
| Title | Automated Reasoning: Essays in Honor of Woody Bledsoe |
| Publisher | Kluwer Academic Publishers |
| Year | c1991 |
| Languages | eng |
| Isbn | 0792314093 |
| Series | Automated reasoning series |
| Volume | 1 |
| Description | (HB: acid free paper) xi, 365 p. ill. 25 cm |
| Record date | 20060712 |
| Location | Boston |
| Keywords | Automatic theorem proving, Artificial intelligence |