Recomienda este artículo a tus amigos:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
Precio
€ 117,49
Pedido desde almacén remoto
Entrega prevista 10 - 22 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition
Zbigniew Stachniak
This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.
208 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de abril de 1996 |
| ISBN13 | 9780792340171 |
| Editores | Kluwer Academic Publishers |
| Páginas | 208 |
| Dimensiones | 156 × 234 × 14 mm · 498 g |
| Lengua | English |
Mostrar todo
Mas por Zbigniew Stachniak
![Cover for Zbigniew Stachniak · Lesniewski's Systems Protothetic - Nijhoff International Philosophy Series (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/046/9780792345046.jpg?zbigniew-stachniak-1998-lesniewski-s-systems-protothetic-nijhoff-international-philosophy-series-hardcover-book&class=scaled&v=1410097823)
![Cover for Zbigniew Stachniak · S. Lesniewski's Lecture Notes in Logic - Nijhoff International Philosophy Series (Hardcover Book) [1988 edition] (1988)](https://imusic.b-cdn.net/images/item/original/160/9789024734160.jpg?zbigniew-stachniak-1988-s-lesniewski-s-lecture-notes-in-logic-nijhoff-international-philosophy-series-hardcover-book&class=scaled&v=1497032127)
Ver todo de Zbigniew Stachniak ( Ej. Hardcover Book y Paperback Book )