Resolution proof systems : an algebraic theory /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Dordrecht :
Kluwer Academic,
1996
|
| Colección: | Automated reasoning;
no. 4 |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 206 p. 23 cm |
|---|---|
| ISBN: | 0792340175 |