U-Cursos ::
MA7125 Introducción a COQ: Lógica, Tipos y Verificación
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
MA7125
Realizaciones del Curso
Realizaciones del Curso
Realizaciones
Similares
Nombre
Introducción a COQ: Lógica, Tipos y Verificación
Código
MA7125
Institución
Facultad de Cs. Físicas y Matemáticas
Curso
Primavera 2017
Sección 1
Éric Tanter
Éric Tanter