Buscar por Sustentante Carrillo Verduzco, Diego
Mostrando resultados 1 a 2 de 2
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Sobre la teoría de la prueba para lógicas multimodales con inversas | Carrillo Verduzco, Diego | 2022 | |
Verificación formal y programación certificada en COQ con Program : un ejemplo práctico | Carrillo Verduzco, Diego | 2020 |