Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:04 8 oct 2010 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional
- 17:03 8 oct 2010 (dif | hist) . . (-6) . . Seminario del Grupo de Lógica Computacional
- 16:58 8 oct 2010 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional
- 16:56 8 oct 2010 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional
- 16:55 8 oct 2010 (dif | hist) . . (-10) . . Seminario del Grupo de Lógica Computacional
- 16:41 8 oct 2010 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:40 8 oct 2010 (dif | hist) . . (+104) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:39 8 oct 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:38 8 oct 2010 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:38 8 oct 2010 (dif | hist) . . (+947) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 16:33 8 oct 2010 (dif | hist) . . (+28) . . Seminario del Grupo de Lógica Computacional (→Sesiones previstas del seminario y anteriores)
- 16:30 8 oct 2010 (dif | hist) . . (+11) . . Seminario del Grupo de Lógica Computacional
- 16:26 8 oct 2010 (dif | hist) . . (-9) . . Seminario del Grupo de Lógica Computacional
- 15:58 2 jun 2010 (dif | hist) . . (0) . . Theories (→Resources)
- 15:57 2 jun 2010 (dif | hist) . . (0) . . Theories (→Theories)
- 15:54 2 jun 2010 (dif | hist) . . (+33) . . A formally verified prover for the ALC description logic (in PVS)
- 15:53 2 jun 2010 (dif | hist) . . (+33) . . Verification of the formal concept analysis in PVS
- 15:52 2 jun 2010 (dif | hist) . . (+33) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:52 2 jun 2010 (dif | hist) . . (-4) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:50 2 jun 2010 (dif | hist) . . (0) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:49 2 jun 2010 (dif | hist) . . (0) . . Theory of Refinements in PVS
- 09:19 20 abr 2010 (dif | hist) . . (-69) . . Sistemas verificados para el razonamiento en la web semántica (→Referencias) (edición actual)
- 09:18 20 abr 2010 (dif | hist) . . (0) . . Sistemas verificados para el razonamiento en la web semántica (→Artículos anteriores)
- 09:17 20 abr 2010 (dif | hist) . . (+2685) . . Sistemas verificados para el razonamiento en la web semántica
- 22:59 19 abr 2010 (dif | hist) . . (+5048) . . N Sistemas verificados para el razonamiento en la web semántica (New page: Las actividades desarrolladas en el proyecto pueden clasificarse de acuerdo a dos líneas de trabajo: (1) el diseño de sistemas de razonamiento formalmente verificados que puedan aplicars...)
- 22:49 19 abr 2010 (dif | hist) . . (+4) . . Projects (→Proyectos pasados)
- 10:12 24 mar 2010 (dif | hist) . . (+11) . . Enlaces (→Próximos Congresos) (edición actual)
- 10:11 24 mar 2010 (dif | hist) . . (-1) . . Enlaces (→Próximos Congresos)
- 10:10 24 mar 2010 (dif | hist) . . (+122) . . Enlaces (→Próximos Congresos)
- 10:04 24 mar 2010 (dif | hist) . . (-24) . . Enlaces (→Próximos Congresos)
- 10:03 24 mar 2010 (dif | hist) . . (-1) . . Enlaces (→Próximos Congresos)
- 10:00 24 mar 2010 (dif | hist) . . (+199) . . Enlaces (→Próximos Congresos)
- 09:47 24 mar 2010 (dif | hist) . . (+58) . . Enlaces (→Otras listas de congresos)
- 09:46 24 mar 2010 (dif | hist) . . (+160) . . Enlaces (→Próximos Congresos)
- 08:45 24 mar 2010 (dif | hist) . . (+8) . . Enlaces (→Otras listas de congresos)
- 08:44 24 mar 2010 (dif | hist) . . (+26) . . Enlaces (→Próximos Congresos)
- 08:43 24 mar 2010 (dif | hist) . . (+27) . . Enlaces (→Enlaces a congresos)
- 00:02 24 mar 2010 (dif | hist) . . (+177) . . Enlaces (→Enlaces a congresos)
- 23:59 23 mar 2010 (dif | hist) . . (-8) . . Enlaces (→Otras listas de congresos)
- 23:58 23 mar 2010 (dif | hist) . . (+1866) . . N Archivo de congresos anteriores (New page: * {{congreso|05-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Secur...) (edición actual)
- 23:58 23 mar 2010 (dif | hist) . . (-1799) . . Enlaces (→Enlaces a congresos)
- 10:35 28 ene 2010 (dif | hist) . . (+177) . . Enlaces (→Enlaces a congresos)
- 09:02 25 ene 2010 (dif | hist) . . (+162) . . Enlaces (→Enlaces a congresos)
- 16:23 6 ene 2010 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 15:49 6 ene 2010 (dif | hist) . . (+182) . . Enlaces (→Enlaces a congresos)
- 15:21 6 ene 2010 (dif | hist) . . (+159) . . Enlaces (→Enlaces a congresos)
- 10:42 17 dic 2009 (dif | hist) . . (+161) . . Enlaces (→Enlaces a congresos)
- 10:37 17 dic 2009 (dif | hist) . . (+189) . . Enlaces (→Enlaces a congresos)
- 15:34 1 dic 2009 (dif | hist) . . (+184) . . Enlaces (→Enlaces a congresos)
- 09:06 1 dic 2009 (dif | hist) . . (+165) . . Enlaces (→Enlaces a congresos)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
