Trabajo Fin de Grado
Deducción Natural para Lógica Proposicional : Entorno de aprendizaje
Autor/es | Chaves Benítez, Gabriel |
Director | Martín Mateos, Francisco Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2023-06 |
Fecha de depósito | 2024-03-07 |
Titulación | Universidad de Sevilla. Grado en Matemáticas |
Cita | Chaves Benítez, G. (2023). Deducción Natural para Lógica Proposicional : Entorno de aprendizaje. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
TFG GM CHAVEZ BENITEZ, GABRIEL.pdf | 30.84Mb | [PDF] | Ver/ | |