Listar Facultad de 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 ...