Listar Facultad de Matemáticas por autor "Santiago Fernández, Sofía"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
Elementos de lógica formalizados en Isabelle/HOL
Santiago Fernández, Sofía (2020)El objetivo de la Lógica es la formalización del conocimiento y su razonamiento. En este trabajo, estudiaremos elementos ...