U-Cursos ::
CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2024, Primavera
U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de
U-Pasaporte
Compartir
Recargar
Contacto
Entrar
Introducción a Coq: Lógica, Tipos y Verificación
CC7125-1 - Primavera 2024
Historial
Horario
Integrantes
Material Docente
Novedades
Presentación
Integrantes
Integrantes
Ver Avatares
Ver Fotos
Nº
Integrante
Alias
Profesor de Cátedra
1
Éric Tanter
Profesor Coordinador
1
Gonzalo Navarro
Profesor Auxiliar
1
Stefan Malewski