Contribuciones del usuario
- 11:52 3 nov 2011 (dif | hist) . . (+3) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 11:52 3 nov 2011 (dif | hist) . . (+215) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 11:46 3 nov 2011 (dif | hist) . . (+127) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 11:41 3 nov 2011 (dif | hist) . . (+281) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 14:27 2 jun 2010 (dif | hist) . . (+4) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 14:25 2 jun 2010 (dif | hist) . . (+3) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 14:06 15 abr 2010 (dif | hist) . . (+1283) . . N Gestión Mecanizada del conocimiento matemático (New page: Este proyecto nace de la confluencia de dos líneas de investigación desarrolladas a lo largo de los años por dos equipos distintos, uno de La Rioja y otro de Sevilla. El equipo de La Ri...) (edición actual)
- 21:45 8 feb 2010 (dif | hist) . . (-68) . . Seminario del Grupo de Lógica Computacional
- 21:44 8 feb 2010 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 21:43 8 feb 2010 (dif | hist) . . (+914) . . Seminario del Grupo de Lógica Computacional
- 22:02 22 nov 2009 (dif | hist) . . (-1) . . Publications (→Capítulos en libros)
- 22:01 22 nov 2009 (dif | hist) . . (+175) . . Publications (→Capítulos en libros)
- 21:59 22 nov 2009 (dif | hist) . . (+93) . . Publications (→Capítulos en libros)
- 21:56 22 nov 2009 (dif | hist) . . (+264) . . Publications (→Aportaciones a congresos)
- 21:50 22 nov 2009 (dif | hist) . . (+11) . . Publications (→Libros)
- 21:41 22 nov 2009 (dif | hist) . . (+2) . . Publications (→Publicaciones en revistas)
- 21:40 22 nov 2009 (dif | hist) . . (+185) . . Publications (→Publicaciones en revistas)
- 21:31 22 nov 2009 (dif | hist) . . (+49) . . Projects
- 21:30 22 nov 2009 (dif | hist) . . (+103) . . Projects
- 00:57 31 oct 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 21:08 30 oct 2009 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 21:08 30 oct 2009 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 21:07 30 oct 2009 (dif | hist) . . (+854) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 17:39 26 nov 2008 (dif | hist) . . (+20) . . Seminario del Grupo de Lógica Computacional (→Seminario del 3 de Diciembre de 2008)
- 17:37 26 nov 2008 (dif | hist) . . (+468) . . Seminario del Grupo de Lógica Computacional
- 15:41 28 oct 2008 (dif | hist) . . (+14) . . Publications (→Tesis dirigidas)
- 15:39 28 oct 2008 (dif | hist) . . (-32) . . Publications (→Publicaciones en Revistas)
- 15:38 28 oct 2008 (dif | hist) . . (+65) . . Publications (→Aportaciones a Congresos)
- 15:36 28 oct 2008 (dif | hist) . . (+142) . . Publications (→Aportaciones a Congresos)
- 15:33 28 oct 2008 (dif | hist) . . (+265) . . Publications (→Publicaciones en Revistas)
- 12:02 30 jun 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 12:01 30 jun 2008 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 12:11 25 jun 2008 (dif | hist) . . (+63) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 12:10 25 jun 2008 (dif | hist) . . (+331) . . Seminario del Grupo de Lógica Computacional
- 11:35 25 jun 2008 (dif | hist) . . (+151) . . Seminario del Grupo de Lógica Computacional
