CC7125-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

Introducción a Coq: Lógica, Tipos y Verificación

CC7125-1 - Primavera 2017

Historial

El servicio 'Enlaces' ha sido activado 31 Jul 201731/07/17 at 11:302017-07-31 11:30:31

Éric Tanter
El servicio 'Tareas' ha sido activado 31 Jul 201731/07/17 at 11:302017-07-31 11:30:31

Éric Tanter
El servicio 'Votaciones' ha sido activado 31 Jul 201731/07/17 at 11:302017-07-31 11:30:31

Éric Tanter
Fabián Mosso ha sido agregado como Ayudante de Laboratorio 31 Jul 201731/07/17 at 10:312017-07-31 10:31:31

Éric Tanter

«
1
2
3
4
5
6
7
8

«
1
2
3
4
5
6
7
8