Resolution proof systems
an algebraic theory
Edición de la obra Resolution proof systems
| Autor | Zbigniew Stachniak |
|---|---|
| Editorial | Kluwer Academic Publishers, Springer |
| Fecha de publicación | 1996 |
| Lugar | Dordrecht, Boston |
| Idioma | inglés |
| Páginas | 206 |
| ISBN-10 | 0792340175 |
| LCCN | 96011760 |
| Serie | Automated reasoning series ; · v. 4 |
| Número de Cutter | S775r |