Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
Massachusetts institute of technology,
1989
|
| Colección: | MIT press in artificial intelligence
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 239 p. 22 cm |
|---|---|
| ISBN: | 2062231441 |