Tell your friends about this item:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Zbigniew Stachniak Softcover Reprint of the Original 1st Ed. 1996 edition
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series
Zbigniew Stachniak
223 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 1, 2011 |
| ISBN13 | 9789401072519 |
| Publishers | Springer |
| Pages | 208 |
| Dimensions | 160 × 240 × 12 mm · 326 g |