Contribuciones del usuario
(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:09 26 mar 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 09:28 26 mar 2015 (dif | hist) . . (+155) . . Seminario del Grupo de Lógica Computacional (→Seminario del 8 de abril de 2015)
- 09:24 26 mar 2015 (dif | hist) . . (+314) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 19:59 23 mar 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 13:13 11 mar 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 6 de mayo de 2015)
- 13:08 11 mar 2015 (dif | hist) . . (+1323) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 12:40 16 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 13:50 11 feb 2015 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional
- 13:50 11 feb 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 09:47 11 feb 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 09:44 11 feb 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:44 11 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 09:43 11 feb 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:42 11 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 09:41 11 feb 2015 (dif | hist) . . (+659) . . Seminario del Grupo de Lógica Computacional
- 12:21 7 jun 2012 (dif | hist) . . (+113) . . A formally verified prover for the ALC description logic in PVS (edición actual)
- 18:04 1 mar 2012 (dif | hist) . . (+2077) . . A formally verified prover for the ALC description logic in PVS
- 20:09 8 feb 2012 (dif | hist) . . (+7) . . Theories
- 20:08 8 feb 2012 (dif | hist) . . (-9) . . Theories
- 14:19 8 feb 2012 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (edición actual)
(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).