Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 06:12 16 may 2008 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de Mayo de 2008)
- 07:29 10 may 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 12 de Mayo de 2008)
- 07:29 10 may 2008 (dif | hist) . . (+356) . . Seminario del Grupo de Lógica Computacional (→Seminarios del curso 2007-08)
- 07:51 2 may 2008 (dif | hist) . . (+74) . . Seminario del Grupo de Lógica Computacional
- 07:42 2 may 2008 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 07:39 2 may 2008 (dif | hist) . . (-5) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 07:38 2 may 2008 (dif | hist) . . (-25) . . Seminario del Grupo de Lógica Computacional (→Sistemas para la enseñanza de la lógica)
- 07:38 2 may 2008 (dif | hist) . . (+7) . . Seminario del Grupo de Lógica Computacional (→Representación del conocimiento y razonamiento)
- 07:37 2 may 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional (→Representación del conocimiento y razonamiento)
- 07:37 2 may 2008 (dif | hist) . . (+14) . . Seminario del Grupo de Lógica Computacional (→28 de Abril de 2008)
- 07:37 2 may 2008 (dif | hist) . . (+15) . . Seminario del Grupo de Lógica Computacional (→5 de Mayo de 2008)
- 07:36 2 may 2008 (dif | hist) . . (+1485) . . Seminario del Grupo de Lógica Computacional
- 06:57 2 may 2008 (dif | hist) . . (+6) . . Seminario del Grupo de Lógica Computacional (→Seminarios del curso 2007-08)
- 06:56 2 may 2008 (dif | hist) . . (+467) . . Seminario del Grupo de Lógica Computacional
- 09:41 27 abr 2008 (dif | hist) . . (+127) . . N Plantilla:IDAO (New page: [http://www.cs.us.es/~jalonso/publicaciones/IDAO.pdf Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar)]) (edición actual)
- 09:39 27 abr 2008 (dif | hist) . . (+87) . . Seminario del Grupo de Lógica Computacional (→28-Abr-08)
- 11:25 25 abr 2008 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 11:24 25 abr 2008 (dif | hist) . . (+118) . . Seminario del Grupo de Lógica Computacional
- 11:22 25 abr 2008 (dif | hist) . . (+3) . . Seminario del Grupo de Lógica Computacional
- 11:22 25 abr 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 11:21 25 abr 2008 (dif | hist) . . (+113) . . Seminario del Grupo de Lógica Computacional
- 06:39 25 abr 2008 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→28-Abr-08)
- 06:38 25 abr 2008 (dif | hist) . . (+4) . . Plantilla:Jalonso (edición actual)
- 06:36 25 abr 2008 (dif | hist) . . (+6) . . Seminario del Grupo de Lógica Computacional (→28-Abr-08)
- 06:34 25 abr 2008 (dif | hist) . . (+30) . . Seminario del Grupo de Lógica Computacional
- 06:32 25 abr 2008 (dif | hist) . . (+391) . . Seminario del Grupo de Lógica Computacional
- 06:26 25 abr 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 06:26 25 abr 2008 (dif | hist) . . (+196) . . N Seminario del Grupo de Lógica Computacional (New page: Los Seminarios del Grupo de Lógica Computacional se celebrarán los lunes de 10:00 a 11:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Ar...)
- 06:30 18 abr 2008 (dif | hist) . . (-27) . . Publications
- 06:29 18 abr 2008 (dif | hist) . . (+46) . . N Plantilla:Magutier (New page: [http://www.cs.us.es/~naranjo M.A. Gutiérrez])
- 06:26 18 abr 2008 (dif | hist) . . (+6) . . Publications (→Tesis dirigidas)
- 06:25 18 abr 2008 (dif | hist) . . (+44) . . Publications (→Aportaciones a Congresos)
- 06:21 18 abr 2008 (dif | hist) . . (+2) . . Publications (→Libros de Actas)
- 06:21 18 abr 2008 (dif | hist) . . (-7) . . Publications (→Publicaciones en Revistas)
- 06:18 18 abr 2008 (dif | hist) . . (-14) . . Publications (→Capítulos en Libros)
- 06:17 18 abr 2008 (dif | hist) . . (-2) . . Publications (→Libros)
- 06:17 18 abr 2008 (dif | hist) . . (+68) . . Publications
- 06:14 18 abr 2008 (dif | hist) . . (+1) . . Publications (→Publicaciones en Revistas)
- 06:13 18 abr 2008 (dif | hist) . . (+62) . . Publications (→Publicaciones en Revistas)
- 06:07 18 abr 2008 (dif | hist) . . (-1) . . Publications (→Capítulos en Libros)
- 06:07 18 abr 2008 (dif | hist) . . (-11) . . Publications (→Capítulos en Libros)
- 06:03 18 abr 2008 (dif | hist) . . (+9) . . Computational Logic Group
- 06:56 16 abr 2008 (dif | hist) . . (+1859) . . N Computational Logic Group (New page: The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the app...)
- 18:56 15 abr 2008 (dif | hist) . . (+16) . . Main Page (edición actual)
- 18:53 15 abr 2008 (dif | hist) . . (+494) . . N Group members (New page: * Prof. Dr. [http://www.cs.us.es/~jalonso José Antonio Alonso Jiménez] (head) * Prof. [http://www.cs.us.es/~garanda/ Gonzalo A. Aranda Corral] * Prof. Dr. [http://www.cs.us.es/~joaquin/ ...)
- 18:50 15 abr 2008 (dif | hist) . . (+14) . . Main Page
- 18:49 15 abr 2008 (dif | hist) . . (0) . . Main Page
- 18:47 15 abr 2008 (dif | hist) . . (+274) . . N Members (New page: * Prof. Dr. José Antonio Alonso Jiménez (head) * Prof. Gonzalo A. Aranda Corral * Prof. Dr. Joaquín Borrego Díaz * Prof. Dra. Antonia Chávez González * Prof. Dr. María José Hidalgo...) (edición actual)
- 18:45 15 abr 2008 (dif | hist) . . (+1829) . . N Main Page (New page: The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the app...)
- 18:23 15 abr 2008 (dif | hist) . . (+1576) . . Portada (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
