Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:26 22 oct 2008 (dif | hist) . . (+262) . . m Solución declarativa de problemas
- 20:22 22 oct 2008 (dif | hist) . . (+68) . . Solución declarativa de problemas
- 20:19 22 oct 2008 (dif | hist) . . (+4) . . Verificación de sistemas SAT
- 20:19 22 oct 2008 (dif | hist) . . (+796) . . Verificación de sistemas SAT
- 20:04 22 oct 2008 (dif | hist) . . (+15) . . Verificación de traductores de problemas combinatorios en SAT
- 20:03 22 oct 2008 (dif | hist) . . (+2) . . Verificación de traductores de problemas combinatorios en SAT
- 20:03 22 oct 2008 (dif | hist) . . (+81) . . Verificación de traductores de problemas combinatorios en SAT
- 20:02 22 oct 2008 (dif | hist) . . (+111) . . A short survey of automated reasoning
- 13:31 22 oct 2008 (dif | hist) . . (+1) . . A short survey of automated reasoning
- 13:29 22 oct 2008 (dif | hist) . . (+5) . . A short survey of automated reasoning
- 13:29 22 oct 2008 (dif | hist) . . (-6) . . A short survey of automated reasoning
- 13:21 22 oct 2008 (dif | hist) . . (0) . . Lecturas
- 13:20 22 oct 2008 (dif | hist) . . (-10) . . Projects (→Proyectos pasados)
- 13:19 22 oct 2008 (dif | hist) . . (-3478) . . Projects
- 13: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ó...)
- 13: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.)
- 13: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/...)
- 13: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...)
- 13:15 22 oct 2008 (dif | hist) . . (+219) . . Projects
- 09:20 22 oct 2008 (dif | hist) . . (+1570) . . Projects (→Proyectos futuros)
- 09:03 22 oct 2008 (dif | hist) . . (0) . . Projects (→Proyectos futuros)
- 09:01 22 oct 2008 (dif | hist) . . (+482) . . Projects (→Proyectos futuros)
- 08:44 22 oct 2008 (dif | hist) . . (+1464) . . Projects
- 08:06 22 oct 2008 (dif | hist) . . (+906) . . A short survey of automated reasoning
- 07:52 22 oct 2008 (dif | hist) . . (-130) . . Lecturas
- 07: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...)
- 07: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 [[...)
- 07:33 22 oct 2008 (dif | hist) . . (-25) . . Tecnologías (edición actual)
- 17:41 19 oct 2008 (dif | hist) . . (+117) . . Tecnologías
- 17: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...)
- 11:40 8 oct 2008 (dif | hist) . . (+103) . . Seminario del Grupo de Lógica Computacional
- 11: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...)
- 11:39 8 oct 2008 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 11:39 8 oct 2008 (dif | hist) . . (-6181) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 11:37 8 oct 2008 (dif | hist) . . (+72) . . Seminario del Grupo de Lógica Computacional (→Seminarios anteriores)
- 11: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)
- 11:22 8 oct 2008 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 11:21 8 oct 2008 (dif | hist) . . (-4305) . . Seminario del Grupo de Lógica Computacional
- 11:20 8 oct 2008 (dif | hist) . . (+4305) . . Seminario del Grupo de Lógica Computacional (→Seminarios anteriores)
- 11:20 8 oct 2008 (dif | hist) . . (-4305) . . Seminario del Grupo de Lógica Computacional
- 11:18 8 oct 2008 (dif | hist) . . (+203) . . Seminario del Grupo de Lógica Computacional
- 05:46 8 oct 2008 (dif | hist) . . (+159) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 09:34 18 sep 2008 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 09:33 18 sep 2008 (dif | hist) . . (+195) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 09:17 18 sep 2008 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 09:17 18 sep 2008 (dif | hist) . . (+126) . . Seminario del Grupo de Lógica Computacional (→Últimos añadidos)
- 11:43 4 jul 2008 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 8 de Julio de 2008)
- 16:36 27 jun 2008 (dif | hist) . . (-9) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 16:35 27 jun 2008 (dif | hist) . . (+11) . . Seminario del Grupo de Lógica Computacional (→Seminario del 14 de Julio de 2008)
- 16: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).
