Buscar por Sustentante Vázquez Reyes, Cenobio Moisés
Mostrando resultados 2 a 2 de 2
< Anterior
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Un sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en Haskell | Vázquez Reyes, Cenobio Moisés | 2018 |