Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 07:29 18 abr 2008 (dif | hist) . . (+46) . . N Plantilla:Magutier (New page: [http://www.cs.us.es/~naranjo M.A. Gutiérrez])
- 07:26 18 abr 2008 (dif | hist) . . (+6) . . Publications (→Tesis dirigidas)
- 07:25 18 abr 2008 (dif | hist) . . (+44) . . Publications (→Aportaciones a Congresos)
- 07:21 18 abr 2008 (dif | hist) . . (+2) . . Publications (→Libros de Actas)
- 07:21 18 abr 2008 (dif | hist) . . (-7) . . Publications (→Publicaciones en Revistas)
- 07:18 18 abr 2008 (dif | hist) . . (-14) . . Publications (→Capítulos en Libros)
- 07:17 18 abr 2008 (dif | hist) . . (-2) . . Publications (→Libros)
- 07:17 18 abr 2008 (dif | hist) . . (+68) . . Publications
- 07:14 18 abr 2008 (dif | hist) . . (+1) . . Publications (→Publicaciones en Revistas)
- 07:13 18 abr 2008 (dif | hist) . . (+62) . . Publications (→Publicaciones en Revistas)
- 07:07 18 abr 2008 (dif | hist) . . (-1) . . Publications (→Capítulos en Libros)
- 07:07 18 abr 2008 (dif | hist) . . (-11) . . Publications (→Capítulos en Libros)
- 07:03 18 abr 2008 (dif | hist) . . (+9) . . Computational Logic Group
- 07: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...)
- 19:56 15 abr 2008 (dif | hist) . . (+16) . . Main Page (edición actual)
- 19: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/ ...)
- 19:50 15 abr 2008 (dif | hist) . . (+14) . . Main Page
- 19:49 15 abr 2008 (dif | hist) . . (0) . . Main Page
- 19: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)
- 19: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...)
- 19:23 15 abr 2008 (dif | hist) . . (+1576) . . Portada (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
