Final Degree Project
Deducción Natural para Lógica Proposicional : Entorno de aprendizaje
Author/s | Chaves Benítez, Gabriel |
Director | Martín Mateos, Francisco Jesús
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2023-06 |
Deposit Date | 2024-03-07 |
Academic Title | Universidad de Sevilla. Grado en Matemáticas |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
TFG GM CHAVEZ BENITEZ, GABRIEL.pdf | 30.84Mb | ![]() | View/ | |