Automatización para el entorno Isabelle / ZF
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.
Guardado en:
| Autor principal: | Steinberg, Matías Uriel |
|---|---|
| Otros Autores: | Pagano, Miguel María |
| Formato: | publishedVersion bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/17550 |
| Aporte de: |
Ejemplares similares
-
Automatización para el entorno Isabelle / ZF
por: Steinberg, Matías Uriel
Publicado: (2021) -
<i>En tiempos de catástrofes</i> (2009) de Isabelle Stengers
por: Suárez, Agustín
Publicado: (2020) -
Control del crecimiento y desarrollo de las plantas por medio del sistema GRF
por: Ferela, Antonella
Publicado: (2021) -
Accesibilidad referencial en toba (flia. guaycurú, Argentina)
por: Carpio, María Belén
Publicado: (2020) -
Formalización de fundaciones de la matemática y compiladores correctos por construcción
por: Gunther, Emmanuel
Publicado: (2019)