
Tell your friends about this item:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition
Zbigniew Stachniak
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition
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 |
Show all
More by Zbigniew Stachniak
See all of Zbigniew Stachniak ( e.g. Hardcover Book and Paperback Book )