Mostrar el registro sencillo del ítem
Trabajo Fin de Grado
Deducción Natural para Lógica Proposicional : Entorno de aprendizaje
| dc.contributor.advisor | Martín Mateos, Francisco Jesús | es |
| dc.creator | Chaves Benítez, Gabriel | es |
| dc.date.accessioned | 2024-03-07T12:45:30Z | |
| dc.date.available | 2024-03-07T12:45:30Z | |
| dc.date.issued | 2023-06 | |
| dc.identifier.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. | |
| dc.identifier.uri | https://hdl.handle.net/11441/155927 | |
| dc.format | application/pdf | es |
| dc.format.extent | 71 p. | es |
| dc.language.iso | spa | es |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.title | Deducción Natural para Lógica Proposicional : Entorno de aprendizaje | es |
| dc.type | info:eu-repo/semantics/bachelorThesis | es |
| dc.type.version | info:eu-repo/semantics/publishedVersion | es |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
| dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
| dc.description.degree | Universidad de Sevilla. Grado en Matemáticas | es |
| Ficheros | Tamaño | Formato | Ver | Descripción |
|---|---|---|---|---|
| TFG GM CHAVEZ BENITEZ, GABRIEL.pdf | 30.84Mb | 
[PDF]
| Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional