Programas para deducción automatizada en lógica proposicional
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Castellano |
| Publicado: |
Cádiz :
Universidad de Cádiz, Servicio de Publicaciones
1992.
|
| Materias: | |
| Ver en Universidad Pontificia de Salamanca: | https://catalogo.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=18332 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
| Descripción Física: | 163 p. |
|---|---|
| ISBN: | 9788477860822 |
