Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 21:26 22 oct 2008 (dif | hist) . . (+262) . . m Solución declarativa de problemas
- 21:22 22 oct 2008 (dif | hist) . . (+68) . . Solución declarativa de problemas
- 21:19 22 oct 2008 (dif | hist) . . (+4) . . Verificación de sistemas SAT
- 21:19 22 oct 2008 (dif | hist) . . (+796) . . Verificación de sistemas SAT
- 21:04 22 oct 2008 (dif | hist) . . (+15) . . Verificación de traductores de problemas combinatorios en SAT
- 21:03 22 oct 2008 (dif | hist) . . (+2) . . Verificación de traductores de problemas combinatorios en SAT
- 21:03 22 oct 2008 (dif | hist) . . (+81) . . Verificación de traductores de problemas combinatorios en SAT
- 21:02 22 oct 2008 (dif | hist) . . (+111) . . A short survey of automated reasoning
- 14:31 22 oct 2008 (dif | hist) . . (+1) . . A short survey of automated reasoning
- 14:29 22 oct 2008 (dif | hist) . . (+5) . . A short survey of automated reasoning
- 14:29 22 oct 2008 (dif | hist) . . (-6) . . A short survey of automated reasoning
- 14:21 22 oct 2008 (dif | hist) . . (0) . . Lecturas
- 14:20 22 oct 2008 (dif | hist) . . (-10) . . Projects (→Proyectos pasados)
- 14:19 22 oct 2008 (dif | hist) . . (-3478) . . Projects
- 14:18 22 oct 2008 (dif | hist) . . (+244) . . N Verificación de traductores de problemas combinatorios en SAT (New page: Muchos problemas combinatorios se resuelven mejor traduciéndolos a lógica proposicional y usando sistemas SAT que con algoritmos específicos. El objetivo del proyecto es la verificació...)
- 14:18 22 oct 2008 (dif | hist) . . (+133) . . N Verificación de sistemas SAT (New page: El objetivo es construir en ACL2 un sistema SAT cuya eficiencia sea comparable a los más avanzados y formalmente verificado en ACL2.)
- 14:17 22 oct 2008 (dif | hist) . . (+1374) . . N Solución declarativa de problemas (New page: El objetivo es construir una colección de problemas y comparar sus soluciones usando distintos sistemas de programación declarativa: * Programación lógica: [http://www.swi-prolog.org/...)
- 14:16 22 oct 2008 (dif | hist) . . (+1501) . . N APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (New page: El objetivo del proyecto consiste en crear herramientas de ayuda para la enseñanza de la Lógica en Informática. Ya se ha desarrollado [http://www.glc.us.es/~jalonso/apli2 APLI2] (APLIca...)
- 14:15 22 oct 2008 (dif | hist) . . (+219) . . Projects
- 10:20 22 oct 2008 (dif | hist) . . (+1570) . . Projects (→Proyectos futuros)
- 10:03 22 oct 2008 (dif | hist) . . (0) . . Projects (→Proyectos futuros)
- 10:01 22 oct 2008 (dif | hist) . . (+482) . . Projects (→Proyectos futuros)
- 09:44 22 oct 2008 (dif | hist) . . (+1464) . . Projects
- 09:06 22 oct 2008 (dif | hist) . . (+906) . . A short survey of automated reasoning
- 08:52 22 oct 2008 (dif | hist) . . (-130) . . Lecturas
- 08:51 22 oct 2008 (dif | hist) . . (+233) . . N A short survey of automated reasoning (New page: J. Harrison [http://www.cl.cam.ac.uk/~jrh13/papers/ab.html A short survey of automated reasoning]. ''Proceedings of the Second International Conference on Algebraic Biology, AB 2007''. Spr...)
- 08:49 22 oct 2008 (dif | hist) . . (+358) . . N Lecturas (New page: En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo. * J. Harrison [[...)
- 08:33 22 oct 2008 (dif | hist) . . (-25) . . Tecnologías (edición actual)
- 18:41 19 oct 2008 (dif | hist) . . (+117) . . Tecnologías
- 18:36 19 oct 2008 (dif | hist) . . (+743) . . N Tecnologías (New page: El grupo de investigación trabaja en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0...)
- 12:40 8 oct 2008 (dif | hist) . . (+103) . . Seminario del Grupo de Lógica Computacional
- 12:39 8 oct 2008 (dif | hist) . . (+6179) . . N Material de interés para el Seminario del GLC (New page: En esta sección se recoge una relación de materiales que sería interesante comentar en el Seminario. === Últimos añadidos === # (8-Oct-2008) N. Sorensson [http://gupea.ub.gu.se/dspace...)
- 12:39 8 oct 2008 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 12:39 8 oct 2008 (dif | hist) . . (-6181) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 12:37 8 oct 2008 (dif | hist) . . (+72) . . Seminario del Grupo de Lógica Computacional (→Seminarios anteriores)
- 12:22 8 oct 2008 (dif | hist) . . (+4303) . . N Seminarios anteriores (New page: == Seminarios del curso 2007-08 == === Seminario del 9 de Julio de 2008 === * '''Título:''' ''El papel de ACL2 para incrementar la fiabilidad de Kenzo'' * '''Ponente:''' *: [https://bel...) (edición actual)
- 12:22 8 oct 2008 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 12:21 8 oct 2008 (dif | hist) . . (-4305) . . Seminario del Grupo de Lógica Computacional
- 12:20 8 oct 2008 (dif | hist) . . (+4305) . . Seminario del Grupo de Lógica Computacional (→Seminarios anteriores)
- 12:20 8 oct 2008 (dif | hist) . . (-4305) . . Seminario del Grupo de Lógica Computacional
- 12:18 8 oct 2008 (dif | hist) . . (+203) . . Seminario del Grupo de Lógica Computacional
- 06:46 8 oct 2008 (dif | hist) . . (+159) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 10:34 18 sep 2008 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 10:33 18 sep 2008 (dif | hist) . . (+195) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 10:17 18 sep 2008 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 10:17 18 sep 2008 (dif | hist) . . (+126) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 12:43 4 jul 2008 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 8 de Julio de 2008)
- 17:36 27 jun 2008 (dif | hist) . . (-9) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 17:35 27 jun 2008 (dif | hist) . . (+11) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 17:32 27 jun 2008 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
