Argumentación deductiva con diagramas y árboles de forzamiento
Detalles de publicación: Medellín Universidad EAFIT 2010Edición: 1a. reimpDescripción: 253 SíISBN:- 14105
- 302.2/S52
Contenidos:
Diagramación de argumentos. Representación simbólica de la información. Árboles de forzamiento semántico clásico. Sistema deductivo para la lógica clásica.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 302.2/S52 (Navegar estantería(Abre debajo)) | Disponible | Externo | 47666 |
Diagramación de argumentos. Representación simbólica de la información. Árboles de forzamiento semántico clásico. Sistema deductivo para la lógica clásica.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.