- idUS
- Listar por autor
Listar por autor "Mateo Ceballos, María Dolores"
Mostrando ítems 1-2 de 2
-
Trabajo Fin de Máster
Formalización de cáculos lógicos en Isabelle/Hol
Mateo Ceballos, María Dolores (2017-06)Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only proves valid formulas ...
-
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 ...