Listar Facultad de Matemáticas por autor "Núñez Fernández, Carlos"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
Elementos de matemáticas formalizados en Isabelle/HOL
Núñez Fernández, Carlos (2020)La finalidad de este trabajo es la formalización de teoremas de diferentes teorías de las matemáticas. Para ello, se han ...