Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 10:11 29 oct 2008 (dif | hist) . . (+60) . . Enlaces (→Enlaces a grupos de investigación)
- 10:09 29 oct 2008 (dif | hist) . . (-101) . . Enlaces (→Enlaces a grupos de investigación)
- 10:08 29 oct 2008 (dif | hist) . . (+87) . . Enlaces (→Enlaces a grupos de investigación)
- 10:05 29 oct 2008 (dif | hist) . . (+151) . . Enlaces (→Enlaces a grupos de investigación)
- 09:59 29 oct 2008 (dif | hist) . . (+95) . . Enlaces (→Enlaces a grupos de investigación)
- 09:22 29 oct 2008 (dif | hist) . . (+53) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 09:21 29 oct 2008 (dif | hist) . . (+28) . . Seminario del Grupo de Lógica Computacional (→Seminarios anteriores)
- 20:38 28 oct 2008 (dif | hist) . . (+200) . . Publications (→Tesis dirigidas)
- 20:35 28 oct 2008 (dif | hist) . . (+30) . . Publications (→Tesis dirigidas)
- 20:34 28 oct 2008 (dif | hist) . . (+60) . . Publications (→Tesis dirigidas)
- 20:33 28 oct 2008 (dif | hist) . . (+480) . . Publications (→Aportaciones a Congresos)
- 20:33 28 oct 2008 (dif | hist) . . (+10) . . Publications (→Libros de Actas)
- 20:32 28 oct 2008 (dif | hist) . . (+260) . . Publications (→Publicaciones en Revistas)
- 20:31 28 oct 2008 (dif | hist) . . (-2) . . Publications (→Capítulos en Libros)
- 20:30 28 oct 2008 (dif | hist) . . (+192) . . Publications (→Capítulos en Libros)
- 20:26 28 oct 2008 (dif | hist) . . (+30) . . Publications
- 20:24 28 oct 2008 (dif | hist) . . (-5) . . Publications (→Publicaciones en Revistas)
- 20:22 28 oct 2008 (dif | hist) . . (+8) . . Plantilla:Tchavez (edición actual)
- 20:22 28 oct 2008 (dif | hist) . . (+5) . . Plantilla:Magutier (edición actual)
- 20:22 28 oct 2008 (dif | hist) . . (+4) . . Plantilla:Jruiz
- 20:21 28 oct 2008 (dif | hist) . . (+6) . . Plantilla:Jborrego (edición actual)
- 20:21 28 oct 2008 (dif | hist) . . (+5) . . Plantilla:Mjoseh (edición actual)
- 20:20 28 oct 2008 (dif | hist) . . (-9) . . Publications (→Capítulos en Libros)
- 20:19 28 oct 2008 (dif | hist) . . (+105) . . N Plantilla:Magdalena (New page: [http://ma1.eii.us.es/miembros/lebron/XSLT.asp?xml=lebron.xml&xsl=profesores.xsl M. Magdalena Fernández]) (edición actual)
- 10:52 28 oct 2008 (dif | hist) . . (+23) . . Semantic Wikipedia
- 10:52 28 oct 2008 (dif | hist) . . (+740) . . N Semantic Wikipedia (New page: M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer ''[http://korrekt.org/paper/KroetzschVrandecicVoelkelHaller_SemanticMediaWiki_2007.pdf Semantic Wikipedia]''. In Journal of We...)
- 10:41 28 oct 2008 (dif | hist) . . (+105) . . Lecturas
- 10:16 28 oct 2008 (dif | hist) . . (-44) . . Solución declarativa de problemas
- 10:15 28 oct 2008 (dif | hist) . . (+138) . . Solución declarativa de problemas
- 10:12 28 oct 2008 (dif | hist) . . (+2) . . Solving challenging grid puzzles with answer set programming
- 10:10 28 oct 2008 (dif | hist) . . (+112) . . Solving challenging grid puzzles with answer set programming
- 10:09 28 oct 2008 (dif | hist) . . (+696) . . N Solving challenging grid puzzles with answer set programming (New page: M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. ''[http://people.sabanciuniv.edu/esraerdem/papers/puzzles-final.pdf Solving challenging grid puzzles with answer set prog...)
- 09:58 28 oct 2008 (dif | hist) . . (+7) . . Lecturas
- 09:58 28 oct 2008 (dif | hist) . . (+7) . . Lecturas
- 09:57 28 oct 2008 (dif | hist) . . (+7) . . Lecturas
- 09:57 28 oct 2008 (dif | hist) . . (+7) . . Lecturas
- 09:56 28 oct 2008 (dif | hist) . . (+12) . . Lecturas
- 09:56 28 oct 2008 (dif | hist) . . (+2) . . Lecturas
- 09:55 28 oct 2008 (dif | hist) . . (+1) . . Lecturas
- 09:55 28 oct 2008 (dif | hist) . . (+135) . . Lecturas
- 10:33 27 oct 2008 (dif | hist) . . (+20) . . N Categoría:Projects (New page: Proyectos del Grupo.) (edición actual)
- 10:32 27 oct 2008 (dif | hist) . . (+24) . . Proyectos relacionados
- 10:31 27 oct 2008 (dif | hist) . . (+24) . . Verificación de traductores de problemas combinatorios en SAT
- 10:31 27 oct 2008 (dif | hist) . . (+22) . . Verificación de sistemas SAT
- 10:31 27 oct 2008 (dif | hist) . . (+24) . . Solución declarativa de problemas
- 10:30 27 oct 2008 (dif | hist) . . (+24) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 10:30 27 oct 2008 (dif | hist) . . (+23) . . Projects
- 10:29 27 oct 2008 (dif | hist) . . (+23) . . Mathematics and computer science: The interplay
- 10:28 27 oct 2008 (dif | hist) . . (+23) . . A short survey of automated reasoning
- 10:28 27 oct 2008 (dif | hist) . . (+23) . . Constraint Logic Programming using Eclipse
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
