Theory of deductive systems and its applications /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Cambridge :
Massachusetts institute of technology,
1987
|
| Colección: | MIT press series in the fopundations of computing
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 147 p. 22 cm |
|---|---|
| ISBN: | 0262132230 |