U-Cursos ::
MA7125-1 Introducción a COQ: Lógica, Tipos y Verificación 2017, Primavera
U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de
U-Pasaporte
Compartir
Recargar
Contact
Entrar
Introducción a COQ: Lógica, Tipos y Verificación
MA7125-1 - Primavera 2017
Record
Schedule
Members
Files
Introduction
Members
Members
Show Avatars
Show Photos
Nº
Member
Alias
Profesor de Cátedra
1
Éric Tanter
Profesor Auxiliar
1
Martin Bodin