Buscar por Asesor Miranda Perea, Favio Ezequiel
Mostrando resultados 28 a 30 de 30
< Anterior
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Verificación formal del cálculo λSF en Coq | Torres Ruiz, Mateo Alberto | 2019 | |
Verificación formal del zipper relacional simétrico | Galicia Mendoza, Fernando Abigail | 2018 | |
Verificación formal en lógica modal | Prieto Larios, Estefanía | 2018 |