Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 1 de octubre de 2011 |
| ISBN13 | 9789401072519 |
| Editores | Springer |
| Páginas | 208 |
| Dimensiones | 160 × 240 × 12 mm · 326 g |