
Conte aos seus amigos sobre este 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
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 |
Mostrar tudo
Mais por Zbigniew Stachniak
Ver tudo de Zbigniew Stachniak ( por exemplo Hardcover Book e Paperback Book )