-
Control 2 / Tarea 3 5 Oct 201705/10/17 a las 09:35 hrs.2017-10-05 09:35:05
Éric Tanter -
maps-imp-update.zip 4 Oct 201704/10/17 a las 20:51 hrs.2017-10-04 20:51:04
Éric Tanter -
status 4 Oct 201704/10/17 a las 20:47 hrs.2017-10-04 20:47:04
Éric Tanter -
dudas omega 4 Oct 201704/10/17 a las 10:53 hrs.2017-10-04 10:53:04
Éric Tanter -
clasificatoria para el nacional de programación 2017 4 Oct 201704/10/17 a las 08:44 hrs.2017-10-04 08:44:04
Éric Tanter -
Re (3): Tarea 4 Maps 3 Oct 201703/10/17 a las 12:17 hrs.2017-10-03 12:17:03
Tomás Díaz T. -
recuerden 3 Oct 201703/10/17 a las 09:49 hrs.2017-10-03 09:49:03
Éric Tanter -
Imp.v 2 Oct 201702/10/17 a las 19:00 hrs.2017-10-02 19:00:02
Éric Tanter -
Maps.v 2 Oct 201702/10/17 a las 18:59 hrs.2017-10-02 18:59:02
Éric Tanter -
status 2 Oct 201702/10/17 a las 18:58 hrs.2017-10-02 18:58:02
Éric Tanter -
Re (2): Tarea 4 Maps 2 Oct 201702/10/17 a las 09:46 hrs.2017-10-02 09:46:02
Matías Toro I. -
Re (1): Tarea 4 Maps 1 Oct 201701/10/17 a las 20:56 hrs.2017-10-01 20:56:01
Tomás Díaz T. -
Tarea 4 Maps 1 Oct 201701/10/17 a las 20:36 hrs.2017-10-01 20:36:01
Tomás Díaz T. -
Re (2): Tarea 4 A,B 28 Sep 201728/09/17 a las 21:56 hrs.2017-09-28 21:56:28
Hans Fehrmann R -
Re (1): Tarea 4 A,B 28 Sep 201728/09/17 a las 21:45 hrs.2017-09-28 21:45:28
Tomás Díaz T. -
Tarea 4 A,B 28 Sep 201728/09/17 a las 20:56 hrs.2017-09-28 20:56:28
Hans Fehrmann R -
Re (4): fib? 26 Sep 201726/09/17 a las 14:35 hrs.2017-09-26 14:35:26
Tomás Díaz T. -
Re (3): fib? 25 Sep 201725/09/17 a las 14:35 hrs.2017-09-25 14:35:25
K. Edgar Contreras Mayr -
Re (2): fib? 25 Sep 201725/09/17 a las 11:00 hrs.2017-09-25 11:00:25
Martin Bodin -
Re (1): fib? 25 Sep 201725/09/17 a las 09:45 hrs.2017-09-25 09:45:25
Matías Toro I. -
fib? 23 Sep 201723/09/17 a las 21:06 hrs.2017-09-23 21:06:23
Tomás Díaz T. -
tarea 2 22 Sep 201722/09/17 a las 17:08 hrs.2017-09-22 17:08:22
Martin Bodin -
Re (2): ev_plus_plus 21 Sep 201721/09/17 a las 22:59 hrs.2017-09-21 22:59:21
Tomás Díaz T. -
Re (4): Inductive definitions 21 Sep 201721/09/17 a las 20:12 hrs.2017-09-21 20:12:21
Tomás Díaz T. -
Tarea 4 (Fecha entrega: 05/10/2017) 21 Sep 201721/09/17 a las 11:41 hrs.2017-09-21 11:41:21
Martin Bodin
U-Cursos ::
MA7125-1 Introducción a COQ: Lógica, Tipos y Verificación 2017, Primavera
Introducción a COQ: Lógica, Tipos y Verificación
MA7125-1 - Primavera 2017
- Historial