| Shelfclass_id | 4.B.3 |
| Sortkey | STACHNIAK, ZBIGNIEW |
| Authors | Zbigniew Stachniak |
| Title | Resolution Proof Systems: An Algebraic Theory |
| Publisher | Kluwer Academic Publishers |
| Year | c1996 |
| Languages | eng |
| Isbn | 0792340175 |
| Series | Automated reasoning series |
| Volume | 4 |
| Description | xvi, 206 p. ill. 25 cm |
| Record date | 20060824 |
| Location | Boston |
| Keywords | Automatic theorem proving, Artificial intelligence, Logic, Symbolic and mathematical |