- idUS
- Trabajos Académicos
- Trabajos Fin de Máster (TFM)
- Ciencias
- Máster Universitario en Matemáticas
- Listar Máster Universitario en Matemáticas por autor
Listar Máster Universitario en Matemáticas por autor "Mateo Ceballos, María Dolores"
Mostrando ítems 1-1 de 1
-
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 ...