| Shelfclass_id | 4.B.3 |
| Sortkey | SNYDER, WAYNE |
| Authors | Wayne Snyder |
| Title | A Proof Theory for General Unification |
| Publisher | Birkhäuser |
| Year | 1991 |
| Languages | eng |
| Isbn | 0817635939, 3764335939 |
| Series | Progress in computer science and applied logic |
| Volume | 11 |
| Description | (hard: acid-free) $28.00 (hard: acid-free) $28.00 vi, 175 p. ill. 25 cm |
| Record date | 20060714 |
| Location | Boston |
| Keywords | Automatic theorem proving |