Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:01 20 oct 2012 (dif | hist) . . (+59) . . Seminario del Grupo de Lógica Computacional (→<span id="24-Oct-12">Seminario del 24 de octubre de 2012</span>)
- 18:59 20 oct 2012 (dif | hist) . . (+980) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 11:35 12 oct 2012 (dif | hist) . . (+14) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 11:34 12 oct 2012 (dif | hist) . . (+631) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 10:01 10 oct 2012 (dif | hist) . . (+399) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 18:05 9 oct 2012 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 18:04 9 oct 2012 (dif | hist) . . (+360) . . Seminario del Grupo de Lógica Computacional
- 23:15 8 oct 2012 (dif | hist) . . (+68) . . Group members (→Researchers)
- 23:14 8 oct 2012 (dif | hist) . . (+4) . . Group members (→Researchers)
- 23:13 8 oct 2012 (dif | hist) . . (+4) . . Group members (→Researchers)
- 21:26 8 feb 2012 (dif | hist) . . (+7) . . Theories (→Theories in PVS) (edición actual)
- 21:25 8 feb 2012 (dif | hist) . . (-1817) . . m A formally verified prover for the ALC description logic in PVS (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS)
- 21:25 8 feb 2012 (dif | hist) . . (+77) . . N A formally verified prover for the ALC description logic (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS) (edición actual)
- 20:15 8 feb 2012 (dif | hist) . . (-6) . . Theories (→Theories in PVS)
- 08:25 1 dic 2011 (dif | hist) . . (0) . . APLI2 CS (→Número de intentos por usuario)
- 08:24 1 dic 2011 (dif | hist) . . (-14) . . APLI2 CS
- 18:17 30 nov 2011 (dif | hist) . . (-7) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→APLI2 como Sistema Complejo) (edición actual)
- 18:15 30 nov 2011 (dif | hist) . . (-4) . . APLI2 CS (→APLI2 como Sistema Complejo)
- 18:53 17 nov 2011 (dif | hist) . . (-13) . . Seminario del Grupo de Lógica Computacional (→<span id="24-Nov-11">Seminario del 24 de Noviembre de 2011</span>)
- 18:48 17 nov 2011 (dif | hist) . . (+736) . . Seminario del Grupo de Lógica Computacional
- 08:29 11 nov 2011 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 08:28 11 nov 2011 (dif | hist) . . (+499) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 08:51 4 nov 2011 (dif | hist) . . (0) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos) (edición actual)
- 08:51 4 nov 2011 (dif | hist) . . (+3) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos)
- 08:50 4 nov 2011 (dif | hist) . . (+1404) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos)
- 08:23 4 nov 2011 (dif | hist) . . (+26) . . Seminario tecnológico CTA en Inteligencia Artificial (→7PM)
- 08:22 4 nov 2011 (dif | hist) . . (+1855) . . Seminario tecnológico CTA en Inteligencia Artificial (→Documentos)
- 08:14 4 nov 2011 (dif | hist) . . (+4431) . . Seminario tecnológico CTA en Inteligencia Artificial
- 09:36 3 nov 2011 (dif | hist) . . (+71) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 20:16 2 nov 2011 (dif | hist) . . (+638) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 19:32 2 nov 2011 (dif | hist) . . (+850) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 21:20 27 oct 2011 (dif | hist) . . (+114) . . Seminario tecnológico CTA en Inteligencia Artificial
- 13:25 27 oct 2011 (dif | hist) . . (-217) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (edición actual)
- 13:24 27 oct 2011 (dif | hist) . . (-3) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
- 13:23 27 oct 2011 (dif | hist) . . (+147) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
- 13:21 27 oct 2011 (dif | hist) . . (+2211) . . N Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (New page: Estimado José Antonio, Tal y como hemos comentado por teléfono esta mañana, nos gustaría contar contigo o alguna persona de tu confianza en tu grupo, para participar en un Seminario T...)
- 13:17 27 oct 2011 (dif | hist) . . (+991) . . N Seminario tecnológico CTA en Inteligencia Artificial (New page: En esta página se recopila la informacón sobre la participación de nuestro grupo en el ''Seminario tecnológico CTA en Inteligencia Artificial''. == Antecedentes == * [http://www.corpo...)
- 07:37 21 oct 2011 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→<span id="27-Oct-11">Seminario del 27 de Octubre de 2011</span>)
- 07:17 21 oct 2011 (dif | hist) . . (+28) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de Octubre de 2011)
- 07:14 21 oct 2011 (dif | hist) . . (+13) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 07:05 21 oct 2011 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→#18-Jun-10 Seminario del 18 de Junio de 2010)
- 07:04 21 oct 2011 (dif | hist) . . (+15) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 06:51 21 oct 2011 (dif | hist) . . (+146) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de Octubre de 2011)
- 06:50 21 oct 2011 (dif | hist) . . (+547) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 12:10 18 oct 2011 (dif | hist) . . (+996) . . Seminario del Grupo de Lógica Computacional
- 08:04 17 jul 2011 (dif | hist) . . (-12) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 08:01 17 jul 2011 (dif | hist) . . (+12) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 13:57 26 abr 2011 (dif | hist) . . (+11) . . Computational Logic Group (edición actual)
- 17:09 8 oct 2010 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 20 de Octubre de 2010)
- 17:09 8 oct 2010 (dif | hist) . . (+150) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
