Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 08:48 1 dic 2009 (dif | hist) . . (+186) . . Enlaces (→Enlaces a congresos)
- 08:45 1 dic 2009 (dif | hist) . . (+172) . . Enlaces (→Enlaces a congresos)
- 08:42 1 dic 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 08:41 1 dic 2009 (dif | hist) . . (+156) . . Enlaces (→Enlaces a congresos)
- 00:01 28 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 00:00 28 nov 2009 (dif | hist) . . (+312) . . Enlaces (→Enlaces a congresos)
- 09:04 26 nov 2009 (dif | hist) . . (+184) . . Enlaces (→Enlaces a congresos)
- 16:28 22 nov 2009 (dif | hist) . . (+199) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 16:25 22 nov 2009 (dif | hist) . . (+258) . . Seminario del Grupo de Lógica Computacional
- 09:08 22 nov 2009 (dif | hist) . . (+195) . . Enlaces (→Enlaces a congresos)
- 09:48 20 nov 2009 (dif | hist) . . (+97) . . Material de interés para el Seminario del GLC (→Últimos añadidos) (edición actual)
- 09:47 20 nov 2009 (dif | hist) . . (+162) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 09:09 20 nov 2009 (dif | hist) . . (+269) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 08:56 19 nov 2009 (dif | hist) . . (+132) . . Enlaces (→Enlaces a congresos)
- 09:39 18 nov 2009 (dif | hist) . . (+208) . . Enlaces (→Enlaces a congresos)
- 09:35 18 nov 2009 (dif | hist) . . (+169) . . Enlaces (→Enlaces a congresos)
- 09:22 18 nov 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 09:21 18 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 09:21 18 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 09:20 18 nov 2009 (dif | hist) . . (+170) . . Enlaces (→Enlaces a congresos)
- 19:13 15 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 19:13 15 nov 2009 (dif | hist) . . (+187) . . Enlaces (→Enlaces a congresos)
- 09:12 14 nov 2009 (dif | hist) . . (-137) . . Enlaces (→Enlaces a congresos)
- 09:05 14 nov 2009 (dif | hist) . . (-4835) . . Enlaces (→Enlaces a congresos)
- 23:03 12 nov 2009 (dif | hist) . . (+181) . . Theories (→Theories)
- 20:32 11 nov 2009 (dif | hist) . . (0) . . Formalizing Desargues' theorem in Coq using ranks (edición actual)
- 11:32 10 nov 2009 (dif | hist) . . (+247) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 10:45 10 nov 2009 (dif | hist) . . (+206) . . Enlaces (→Enlaces a congresos)
- 19:29 7 nov 2009 (dif | hist) . . (+799) . . Publications (→Capítulos en libros)
- 19:21 7 nov 2009 (dif | hist) . . (+6) . . Publications
- 19:20 7 nov 2009 (dif | hist) . . (+14) . . Publications
- 16:12 5 nov 2009 (dif | hist) . . (-44) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:03 5 nov 2009 (dif | hist) . . (-94) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:02 5 nov 2009 (dif | hist) . . (+38) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:02 5 nov 2009 (dif | hist) . . (+90) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 10:46 27 oct 2009 (dif | hist) . . (+146) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:59 26 oct 2009 (dif | hist) . . (+33) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:57 26 oct 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:56 26 oct 2009 (dif | hist) . . (+331) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Octubre de 2009)
- 15:54 26 oct 2009 (dif | hist) . . (+800) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 14:28 15 oct 2009 (dif | hist) . . (+110) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Octubre de 2009)
- 14:26 15 oct 2009 (dif | hist) . . (+691) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 21:30 17 jul 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 23:54 27 jun 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 09:22 26 may 2009 (dif | hist) . . (-15) . . Enlaces (→Enlaces a congresos)
- 09:16 20 may 2009 (dif | hist) . . (+146) . . Enlaces (→Enlaces a congresos)
- 23:11 18 may 2009 (dif | hist) . . (+52) . . Seminario del Grupo de Lógica Computacional (→Seminario del 20 de Mayo de 2009)
- 23:02 18 may 2009 (dif | hist) . . (+270) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 08:46 14 may 2009 (dif | hist) . . (+172) . . Enlaces (→Enlaces a congresos)
- 19:11 4 may 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Mayo de 2009)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
