Contribuciones del usuario
- 12: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)
- 12: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)
- 12: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)
- 12: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)
- 15:27 2 jun 2010 (dif | hist) . . (+4) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 15:25 2 jun 2010 (dif | hist) . . (+3) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 15: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)
- 22:45 8 feb 2010 (dif | hist) . . (-68) . . Seminario del Grupo de Lógica Computacional
- 22:44 8 feb 2010 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 22:43 8 feb 2010 (dif | hist) . . (+914) . . Seminario del Grupo de Lógica Computacional
- 23:02 22 nov 2009 (dif | hist) . . (-1) . . Publications (→Capítulos en libros)
- 23:01 22 nov 2009 (dif | hist) . . (+175) . . Publications (→Capítulos en libros)
- 22:59 22 nov 2009 (dif | hist) . . (+93) . . Publications (→Capítulos en libros)
- 22:56 22 nov 2009 (dif | hist) . . (+264) . . Publications (→Aportaciones a congresos)
- 22:50 22 nov 2009 (dif | hist) . . (+11) . . Publications (→Libros)
- 22:41 22 nov 2009 (dif | hist) . . (+2) . . Publications (→Publicaciones en revistas)
- 22:40 22 nov 2009 (dif | hist) . . (+185) . . Publications (→Publicaciones en revistas)
- 22:31 22 nov 2009 (dif | hist) . . (+49) . . Projects
- 22:30 22 nov 2009 (dif | hist) . . (+103) . . Projects
- 01:57 31 oct 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 22:08 30 oct 2009 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 22:08 30 oct 2009 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 5 de Noviembre de 2009)
- 22:07 30 oct 2009 (dif | hist) . . (+854) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 18:39 26 nov 2008 (dif | hist) . . (+20) . . Seminario del Grupo de Lógica Computacional (→Seminario del 3 de Diciembre de 2008)
- 18:37 26 nov 2008 (dif | hist) . . (+468) . . Seminario del Grupo de Lógica Computacional
- 16:41 28 oct 2008 (dif | hist) . . (+14) . . Publications (→Tesis dirigidas)
- 16:39 28 oct 2008 (dif | hist) . . (-32) . . Publications (→Publicaciones en Revistas)
- 16:38 28 oct 2008 (dif | hist) . . (+65) . . Publications (→Aportaciones a Congresos)
- 16:36 28 oct 2008 (dif | hist) . . (+142) . . Publications (→Aportaciones a Congresos)
- 16:33 28 oct 2008 (dif | hist) . . (+265) . . Publications (→Publicaciones en Revistas)
- 13:02 30 jun 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 13:01 30 jun 2008 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 13:11 25 jun 2008 (dif | hist) . . (+63) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 13:10 25 jun 2008 (dif | hist) . . (+331) . . Seminario del Grupo de Lógica Computacional
- 12:35 25 jun 2008 (dif | hist) . . (+151) . . Seminario del Grupo de Lógica Computacional