| Shelfclass_id | 4.B.3 |
| Sortkey | BLEDSOE, W. W |
| Authors | W. W. Bledsoe, D. W. Loveland |
| Title | Automated Theorem Proving: After 25 Years |
| Publisher | American Mathematical Society |
| Year | 1984 |
| Languages | eng |
| Isbn | 082185027X |
| Series | Contemporary Mathematics |
| Volume | 29 |
| Description | (pbk.) ix, 360 p. 26 cm. |
| Record date | 20061027 |
| Location | Providence, R.I. |
| Keywords | Automatic theorem proving |
| Notes | "Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso. |