- idUS
- Trabajos Académicos
- Trabajos Fin de Grado (TFG)
- Facultad de Matemáticas
- Grado en Matemáticas
- Listar Grado en Matemáticas por autor
Listar Grado en Matemáticas por autor "Mateo Ceballos, María Dolores"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores
Mateo Ceballos, María Dolores (2022-06-15)Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer ...