Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 12:51 30 abr 2009 (dif | hist) . . (+147) . . Enlaces (→Enlaces a congresos)
- 12:48 30 abr 2009 (dif | hist) . . (+125) . . Enlaces (→Enlaces a congresos)
- 09:18 24 abr 2009 (dif | hist) . . (+160) . . Enlaces (→Enlaces a congresos)
- 15:56 21 abr 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 15:05 21 abr 2009 (dif | hist) . . (+114) . . Enlaces (→Enlaces a congresos)
- 22:37 17 abr 2009 (dif | hist) . . (+154) . . Enlaces (→Enlaces a congresos)
- 13:41 16 abr 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Marzo de 2009)
- 13:26 16 abr 2009 (dif | hist) . . (+427) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Marzo de 2009)
- 01:57 16 abr 2009 (dif | hist) . . (+267) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 09:23 14 abr 2009 (dif | hist) . . (+154) . . Enlaces (→Enlaces a congresos)
- 20:34 10 abr 2009 (dif | hist) . . (+84) . . Formal Correctness Proof for DPLL Procedure (edición actual)
- 20:32 10 abr 2009 (dif | hist) . . (+2364) . . Formal Correctness Proof for DPLL Procedure
- 16:15 10 abr 2009 (dif | hist) . . (+1017) . . N Formal Correctness Proof for DPLL Procedure (New page: Pilip Marić y Predrag Janicić (2009) [http://argo.matf.bg.ac.rs/publications/2009/DPLL_correctness_proof.pdf Formal Correctness Proof for DPLL Procedure]. Aceptado en ''Informatica''. Pe...)
- 15:59 10 abr 2009 (dif | hist) . . (0) . . Lecturas
- 15:58 10 abr 2009 (dif | hist) . . (+89) . . Lecturas
- 13:40 10 abr 2009 (dif | hist) . . (+740) . . Enlaces (→Enlaces a congresos)
- 20:39 18 mar 2009 (dif | hist) . . (+547) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 20:35 18 mar 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 11 de Marzo de 2009)
- 23:37 19 feb 2009 (dif | hist) . . (+3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 4 de Marzo de 2009)
- 23:35 19 feb 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 23:35 19 feb 2009 (dif | hist) . . (-14) . . Seminario del Grupo de Lógica Computacional (→Seminario del 4 de Marzo de 2009)
- 23:34 19 feb 2009 (dif | hist) . . (+14) . . Seminario del Grupo de Lógica Computacional (→Seminario del 4 de Marzo de 2009)
- 23:33 19 feb 2009 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 25 de Febrero de 2009)
- 13:12 21 ene 2009 (dif | hist) . . (+119) . . Proyectos relacionados (edición actual)
- 10:31 15 ene 2009 (dif | hist) . . (+173) . . Enlaces (→Enlaces a congresos)
- 10:19 15 ene 2009 (dif | hist) . . (+177) . . Enlaces (→Enlaces a congresos)
- 10:11 15 ene 2009 (dif | hist) . . (+155) . . Enlaces (→Enlaces a congresos)
- 10:37 8 ene 2009 (dif | hist) . . (+199) . . Enlaces (→Enlaces a congresos)
- 12:05 16 dic 2008 (dif | hist) . . (-1) . . Formal Proof: Theory and Practice (edición actual)
- 12:04 16 dic 2008 (dif | hist) . . (+127) . . Formal Proof: Theory and Practice
- 12:01 16 dic 2008 (dif | hist) . . (0) . . Formal Proof: Theory and Practice
- 11:58 16 dic 2008 (dif | hist) . . (+55) . . Formal Proof: Theory and Practice
- 11:56 16 dic 2008 (dif | hist) . . (-5) . . Formal Proof: Theory and Practice
- 11:55 16 dic 2008 (dif | hist) . . (+9) . . Formal Proof: Theory and Practice
- 11:54 16 dic 2008 (dif | hist) . . (+2545) . . Formal Proof: Theory and Practice
- 11:21 16 dic 2008 (dif | hist) . . (+740) . . Formal Proof: Theory and Practice
- 11:12 16 dic 2008 (dif | hist) . . (+2) . . Formal Proof: Theory and Practice
- 11:10 16 dic 2008 (dif | hist) . . (+1067) . . Formal Proof: Theory and Practice
- 10:53 16 dic 2008 (dif | hist) . . (+60) . . N Formal Proof: Theory and Practice (New page: J. Harrison (2008) ''Formal Proof: Theory and Practice'')
- 10:53 16 dic 2008 (dif | hist) . . (+68) . . Lecturas
- 10:45 16 dic 2008 (dif | hist) . . (+743) . . Logic for Computer Science (edición actual)
- 12:10 15 dic 2008 (dif | hist) . . (+353) . . Enlaces (→Enlaces a grupos de investigación)
- 11:16 14 dic 2008 (dif | hist) . . (+176) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Proyectos relacionados)
- 11:57 12 dic 2008 (dif | hist) . . (0) . . Enlaces (→Otras listas de congresos)
- 11:56 12 dic 2008 (dif | hist) . . (+2790) . . Enlaces (→Enlaces a congresos)
- 11:28 11 dic 2008 (dif | hist) . . (+74) . . Formal Proof (edición actual)
- 11:27 11 dic 2008 (dif | hist) . . (0) . . Formal Proof
- 11:26 11 dic 2008 (dif | hist) . . (+2473) . . Formal Proof
- 10:58 11 dic 2008 (dif | hist) . . (+1) . . Formal Proof: The Four-Color Theorem (edición actual)
- 10:57 11 dic 2008 (dif | hist) . . (+75) . . N Formal Proof (New page: T. Hales [http://www.ams.org/notices/200811/tx081101370p.pdf Formal Proof].)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
