-
Re (10): Tarea 3 25 Nov 201425/11/14 at 21:342014-11-25 21:34:25
Camila Álvarez I. -
Re (1): Automatas! 24 Nov 201424/11/14 at 21:302014-11-24 21:30:24
Camila Álvarez I. -
Automatas! 24 Nov 201424/11/14 at 21:302014-11-24 21:30:24
Camila Álvarez I. -
tarea3g.tex 24 Nov 201424/11/14 at 12:462014-11-24 12:46:24
Jorge Pérez Rojas -
Tarea 3 (Completa) 24 Nov 201424/11/14 at 12:452014-11-24 12:45:24
Jorge Pérez Rojas -
Tarea 3 (Completa) 24 Nov 201424/11/14 at 12:442014-11-24 12:44:24
Jorge Pérez Rojas -
Re (9): Tarea 3 22 Nov 201422/11/14 at 23:262014-11-22 23:26:22
Álvaro Bustos G. -
Re (8): Tarea 3 22 Nov 201422/11/14 at 17:462014-11-22 17:46:22
Camila Álvarez I. -
Re (7): Tarea 3 21 Nov 201421/11/14 at 10:502014-11-21 10:50:21
Camila Álvarez I. -
Re (6): Tarea 3 21 Nov 201421/11/14 at 10:362014-11-21 10:36:21
Sebastián Pérez Salazar -
Re (5): Tarea 3 21 Nov 201421/11/14 at 10:062014-11-21 10:06:21
Álvaro Bustos G. -
Re (4): Tarea 3 20 Nov 201420/11/14 at 22:322014-11-20 22:32:20
Camila Álvarez I. -
Re (3): Tarea 3 20 Nov 201420/11/14 at 13:082014-11-20 13:08:20
Felipe Contreras Salinas -
Re (2): Tarea 3 20 Nov 201420/11/14 at 13:012014-11-20 13:01:20
Felipe Contreras Salinas -
Re (1): Tarea 3 20 Nov 201420/11/14 at 12:472014-11-20 12:47:20
Jorge Pérez Rojas -
Tarea 3 19 Nov 201419/11/14 at 23:342014-11-19 23:34:19
Camila Álvarez I. -
En relacion a la clase de hoy 19 Nov 201419/11/14 at 10:112014-11-19 10:11:19
Camila Álvarez I. -
Clase de hoy 19 Nov 201419/11/14 at 09:392014-11-19 09:39:19
Jorge Pérez Rojas -
"Monadic datalog on trees", este viernes, auditorio 3er piso 6 Nov 201406/11/14 at 15:242014-11-06 15:24:06
Jorge Pérez Rojas -
Re (2): Libro de Modelos Finitos 6 Nov 201406/11/14 at 15:212014-11-06 15:21:06
Jorge Pérez Rojas -
Re (1): Libro de Modelos Finitos 6 Nov 201406/11/14 at 11:112014-11-06 11:11:06
Rodolfo A. Ávila -
Libro de Modelos Finitos 6 Nov 201406/11/14 at 10:052014-11-06 10:05:06
Simón Piga -
Finite model Theory -Libkin.pdf 6 Nov 201406/11/14 at 09:582014-11-06 09:58:06
Simón Piga -
Finite model, personal view.pdf 6 Nov 201406/11/14 at 09:502014-11-06 09:50:06
Simón Piga -
Hoy no hay clases!!!! 29 Oct 201429/10/14 at 16:172014-10-29 16:17:29
Jorge Pérez Rojas
U-Cursos ::
CC5102-1 Métodos Lógicos en Ciencias de la Computación 2014, Primavera
Métodos Lógicos en Ciencias de la Computación
CC5102-1 - Primavera 2014
- Historial