Conte aos seus amigos sobre este 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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 1 de outubro de 2011 |
| ISBN13 | 9789401072519 |
| Editoras | Springer |
| Páginas | 208 |
| Dimensões | 160 × 240 × 12 mm · 326 g |