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) -
(Reseña) Thomas-Fogel, Isabelle. The Death of Philosophy. Reference and Self-Reference in Contemporary Thought, Columbia University Press, New York, 2011, 331 pp.
por: Ortiz de Landázuri, Carlos