Contribuciones del usuario
(últimas | primeras) Ver (500 siguientes | 500 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:24 3 may 2021 (dif | hist) . . (0) . . Seminario de Lógica y Computación (edición actual)
- 12:15 27 nov 2020 (dif | hist) . . (+1) . . Seminario de Lógica y Computación (→Seminario del 11 de marzo de 2020)
- 10:59 10 mar 2020 (dif | hist) . . (+511) . . Seminario de Lógica y Computación
- 07:29 4 mar 2020 (dif | hist) . . (0) . . Seminario de Lógica y Computación (→Seminario del 4 de marzo de 2020)
- 07:28 4 mar 2020 (dif | hist) . . (+109) . . Seminario de Lógica y Computación (→Próximas sesiones del seminario)
- 12:24 28 feb 2020 (dif | hist) . . (-29) . . Seminario de Lógica y Computación
- 08:00 20 mar 2016 (dif | hist) . . (-6) . . Seminario del Grupo de Lógica Computacional (→Seminario del 10 de febrero de 2016)
- 07:59 20 mar 2016 (dif | hist) . . (+929) . . Seminario del Grupo de Lógica Computacional
- 20:10 9 feb 2016 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 10 de febrero de 2016)
- 20:03 9 feb 2016 (dif | hist) . . (+774) . . Seminario del Grupo de Lógica Computacional
- 11:57 12 dic 2015 (dif | hist) . . (-7) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:56 12 dic 2015 (dif | hist) . . (+15) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:55 12 dic 2015 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:53 12 dic 2015 (dif | hist) . . (-8) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:52 12 dic 2015 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:50 12 dic 2015 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 17 de diciembre de 2015)
- 11:49 12 dic 2015 (dif | hist) . . (+1177) . . Seminario del Grupo de Lógica Computacional
- 18:25 11 dic 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de diciembre de 2015)
- 18:11 11 dic 2015 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de septimbre de 2015)
- 11:08 10 dic 2015 (dif | hist) . . (+11) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de septimbre de 2015)
- 18:23 5 dic 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de septimbre de 2015)
- 18:22 5 dic 2015 (dif | hist) . . (+5) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de septimbre de 2015)
- 18:22 5 dic 2015 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de septimbre de 2015)
- 18:15 5 dic 2015 (dif | hist) . . (-689) . . Seminario del Grupo de Lógica Computacional
- 06:20 13 jun 2015 (dif | hist) . . (-5) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de junio de 2015)
- 06:19 13 jun 2015 (dif | hist) . . (+8) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de junio de 2015)
- 06:17 13 jun 2015 (dif | hist) . . (+1678) . . Seminario del Grupo de Lógica Computacional
- 13:03 25 may 2015 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de abril de 2015)
- 13:03 25 may 2015 (dif | hist) . . (-10) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de abril de 2015)
- 12:56 25 may 2015 (dif | hist) . . (+35 373) . . N Enumeración de los racionales (Página creada con «<source lang="haskell"> -- --------------------------------------------------------------------- -- ENUMERACION DE LOS RACIONALES -- --...») (edición actual)
- 12:55 25 may 2015 (dif | hist) . . (+116) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de abril de 2015)
- 12:08 19 may 2015 (dif | hist) . . (+9) . . Seminario del Grupo de Lógica Computacional
- 10:50 11 may 2015 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional
- 13:03 14 abr 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 13:02 14 abr 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 13:02 14 abr 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 08:26 5 mar 2015 (dif | hist) . . (+16) . . Seminario del Grupo de Lógica Computacional (→Seminario del 11 de marzo de 2015)
- 08:25 5 mar 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:03 28 feb 2015 (dif | hist) . . (+12) . . Seminario del Grupo de Lógica Computacional (→Seminario del 4 de marzo de 2015)
- 09:03 28 feb 2015 (dif | hist) . . (+664) . . Seminario del Grupo de Lógica Computacional
- 09:00 28 feb 2015 (dif | hist) . . (-6) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 13:01 18 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 4 de marzo de 2015)
- 13:01 18 feb 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:56 14 feb 2015 (dif | hist) . . (-11) . . Seminario del Grupo de Lógica Computacional (→Seminario del 25 de febrero de 2015)
- 09:56 14 feb 2015 (dif | hist) . . (+2974) . . Seminario del Grupo de Lógica Computacional
- 19:03 30 mar 2014 (dif | hist) . . (+5768) . . Lecturas del año 2013 (edición actual)
- 18:19 30 mar 2014 (dif | hist) . . (-219) . . Lecturas del año 2014 (edición actual)
- 18:13 30 mar 2014 (dif | hist) . . (0) . . Lecturas del año 2014
- 18:13 30 mar 2014 (dif | hist) . . (+21 187) . . N Lecturas del año 2014 (Página creada con «== Lecturas de enero de 2014 == * [http://bit.ly/1doVDph Lecture notes on the lambda calculus] LC * [http://bit.ly/1doVOkh Turing machines and undecidability] Computabilid...»)
- 18:12 30 mar 2014 (dif | hist) . . (+30) . . Lecturas (edición actual)
- 18:09 30 mar 2014 (dif | hist) . . (-12) . . Lecturas del año 2013
- 18:06 30 mar 2014 (dif | hist) . . (+28 082) . . Lecturas del año 2013
- 16:20 20 feb 2014 (dif | hist) . . (+713) . . Seminario del Grupo de Lógica Computacional
- 23:48 14 ene 2014 (dif | hist) . . (-8) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de noviembre de 2013)
- 10:24 18 nov 2013 (dif | hist) . . (+38) . . Seminario del Grupo de Lógica Computacional
- 10:22 18 nov 2013 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Sesiones anteriores del seminario)
- 10:22 18 nov 2013 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de noviembre de 2013)
- 10:21 18 nov 2013 (dif | hist) . . (+550) . . Seminario del Grupo de Lógica Computacional
- 21:09 11 oct 2013 (dif | hist) . . (+22) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de octubre de 2013)
- 21:07 11 oct 2013 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de octubre de 2013)
- 13:00 7 jul 2013 (dif | hist) . . (0) . . Lecturas del año 2013
- 18:03 15 may 2013 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→<span id="25-Abril-13">Seminario del 25 de abril de 2013</span>)
- 07:36 28 abr 2013 (dif | hist) . . (-142) . . Lecturas del año 2013
- 07:32 28 abr 2013 (dif | hist) . . (-2526) . . Lecturas del año 2012 (edición actual)
- 07:16 28 abr 2013 (dif | hist) . . (-4704) . . Lecturas del año 2011 (edición actual)
- 06:33 28 abr 2013 (dif | hist) . . (-687) . . Lecturas del año 2010 (edición actual)
- 19:55 27 abr 2013 (dif | hist) . . (-1299) . . Lecturas
- 19:54 27 abr 2013 (dif | hist) . . (+1269) . . N Lecturas comentadas (New page: == Lecturas comentadas == # K.R. Apt y M.G. Wallace (2007) <br>''Constraint Logic Programming using Eclipse''. # B. Buchberger (1991) <br> ''Logic for Computer Science'' # M. Cayli...) (edición actual)
- 19:53 27 abr 2013 (dif | hist) . . (-73) . . Lecturas
- 19:46 27 abr 2013 (dif | hist) . . (-3) . . Lecturas del año 2013
- 19:44 27 abr 2013 (dif | hist) . . (+9860) . . N Lecturas del año 2013 (New page: == Lecturas de Enero de 2013 == * [http://www.glc.us.es/~jalonso/vestigium/lecturas-del-grupo-de-logica-computacional-diciembre-de-2012/ Lecturas del Grupo de Lógica Computacional (Diciem...)
- 19:42 27 abr 2013 (dif | hist) . . (-16) . . Lecturas del año 2012
- 19:39 27 abr 2013 (dif | hist) . . (+25 452) . . N Lecturas del año 2012 (New page: == Lecturas de Enero de 2012 == * [http://interstices.info/jcms/int_63549/l-ordinateur-au-coeur-de-la-decouverte-mathematique L'ordinateur au cœur de la découverte mathématique]. * [htt...)
- 19:39 27 abr 2013 (dif | hist) . . (+136) . . Lecturas del año 2011
- 19:25 27 abr 2013 (dif | hist) . . (-3) . . Lecturas del año 2011 (→Lecturas de Enero de 2011)
- 19:25 27 abr 2013 (dif | hist) . . (+30 771) . . N Lecturas del año 2011 (New page: == Lecturas de Enero de 2011 == * [http://goo.gl/95csF Does Godel's theorem matter to mathematics?] * [http://goo.gl/LBsyx Distributed SAT]. #SAT * [http://posgrado.escom.ipn.mx/bibliotec...)
- 19:23 27 abr 2013 (dif | hist) . . (+1518) . . N Lecturas del año 2010 (New page: == Lecturas de Noviembre de 2010 == * [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V * [http://goo.gl/0FwrK El valor del fracaso digno] #CM * [http://goo.gl/aWC1...)
- 19:20 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas compartidas)
- 19:20 27 abr 2013 (dif | hist) . . (+361) . . Lecturas
- 18:22 27 abr 2013 (dif | hist) . . (-16 006) . . Lecturas (→Lecturas compartidas)
- 18:16 27 abr 2013 (dif | hist) . . (+6) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 18:15 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 18:14 27 abr 2013 (dif | hist) . . (+7) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 18:06 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 18:05 27 abr 2013 (dif | hist) . . (+15 783) . . Lecturas (→Lecturas compartidas)
- 18:04 27 abr 2013 (dif | hist) . . (+210) . . Lecturas
- 18:01 27 abr 2013 (dif | hist) . . (-28) . . Lecturas (→Lecturas compartidas)
- 17:59 27 abr 2013 (dif | hist) . . (+54) . . Lecturas
- 11:33 15 abr 2013 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→<span id="28-Abril-13">Seminario del 25 de abril de 2013</span>)
- 10:30 15 abr 2013 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→<span id="28-Abril-13">Seminario del 28 de abril de 2013</span>)
- 09:11 12 ene 2013 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→<span id="16-Enero-13">Seminario del 16 de enero de 2013</span>)
- 09:02 12 ene 2013 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 13:37 22 nov 2012 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional
- 13:37 22 nov 2012 (dif | hist) . . (+1035) . . Seminario del Grupo de Lógica Computacional
- 13:42 13 nov 2012 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional (→<span id="7-Nov-12">Seminario del 7 de noviembre de 2012</span>)
- 13:41 13 nov 2012 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional (→<span id="21-Nov-12">Seminario del 21 de noviembre de 2012</span>)
- 17:50 25 oct 2012 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→<span id="31-Oct-12">Seminario del 31 de octubre de 2012</span>)
- 17:49 25 oct 2012 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→<span id="31-Oct-12">Seminario del 31 de octubre de 2012</span>)
- 17:45 25 oct 2012 (dif | hist) . . (+1497) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 19:24 20 oct 2012 (dif | hist) . . (+42) . . Seminario del Grupo de Lógica Computacional (→<span id="24-Oct-12">Seminario del 24 de octubre de 2012</span>)
- 19:01 20 oct 2012 (dif | hist) . . (+59) . . Seminario del Grupo de Lógica Computacional (→<span id="24-Oct-12">Seminario del 24 de octubre de 2012</span>)
- 18:59 20 oct 2012 (dif | hist) . . (+980) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 11:35 12 oct 2012 (dif | hist) . . (+14) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 11:34 12 oct 2012 (dif | hist) . . (+631) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 10:01 10 oct 2012 (dif | hist) . . (+399) . . Seminario del Grupo de Lógica Computacional (→<span id="17-Oct-12">Seminario del 17 de octubre de 2012</span>)
- 18:05 9 oct 2012 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 18:04 9 oct 2012 (dif | hist) . . (+360) . . Seminario del Grupo de Lógica Computacional
- 23:15 8 oct 2012 (dif | hist) . . (+68) . . Group members (→Researchers)
- 23:14 8 oct 2012 (dif | hist) . . (+4) . . Group members (→Researchers)
- 23:13 8 oct 2012 (dif | hist) . . (+4) . . Group members (→Researchers)
- 21:26 8 feb 2012 (dif | hist) . . (+7) . . Theories (→Theories in PVS) (edición actual)
- 21:25 8 feb 2012 (dif | hist) . . (-1817) . . m A formally verified prover for the ALC description logic in PVS (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS)
- 21:25 8 feb 2012 (dif | hist) . . (+77) . . N A formally verified prover for the ALC description logic (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS) (edición actual)
- 20:15 8 feb 2012 (dif | hist) . . (-6) . . Theories (→Theories in PVS)
- 08:25 1 dic 2011 (dif | hist) . . (0) . . APLI2 CS (→Número de intentos por usuario)
- 08:24 1 dic 2011 (dif | hist) . . (-14) . . APLI2 CS
- 18:17 30 nov 2011 (dif | hist) . . (-7) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→APLI2 como Sistema Complejo) (edición actual)
- 18:15 30 nov 2011 (dif | hist) . . (-4) . . APLI2 CS (→APLI2 como Sistema Complejo)
- 18:53 17 nov 2011 (dif | hist) . . (-13) . . Seminario del Grupo de Lógica Computacional (→<span id="24-Nov-11">Seminario del 24 de Noviembre de 2011</span>)
- 18:48 17 nov 2011 (dif | hist) . . (+736) . . Seminario del Grupo de Lógica Computacional
- 08:29 11 nov 2011 (dif | hist) . . (+4) . . Seminario del Grupo de Lógica Computacional
- 08:28 11 nov 2011 (dif | hist) . . (+499) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 08:51 4 nov 2011 (dif | hist) . . (0) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos) (edición actual)
- 08:51 4 nov 2011 (dif | hist) . . (+3) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos)
- 08:50 4 nov 2011 (dif | hist) . . (+1404) . . Seminario tecnológico CTA en Inteligencia Artificial (→Proyectos)
- 08:23 4 nov 2011 (dif | hist) . . (+26) . . Seminario tecnológico CTA en Inteligencia Artificial (→7PM)
- 08:22 4 nov 2011 (dif | hist) . . (+1855) . . Seminario tecnológico CTA en Inteligencia Artificial (→Documentos)
- 08:14 4 nov 2011 (dif | hist) . . (+4431) . . Seminario tecnológico CTA en Inteligencia Artificial
- 09:36 3 nov 2011 (dif | hist) . . (+71) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 20:16 2 nov 2011 (dif | hist) . . (+638) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 19:32 2 nov 2011 (dif | hist) . . (+850) . . Seminario tecnológico CTA en Inteligencia Artificial (→Retos y oportunidades de I+D+i en IA con empresas)
- 21:20 27 oct 2011 (dif | hist) . . (+114) . . Seminario tecnológico CTA en Inteligencia Artificial
- 13:25 27 oct 2011 (dif | hist) . . (-217) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (edición actual)
- 13:24 27 oct 2011 (dif | hist) . . (-3) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
- 13:23 27 oct 2011 (dif | hist) . . (+147) . . Propuesta del Seminario tecnológico CTA en Inteligencia Artificial
- 13:21 27 oct 2011 (dif | hist) . . (+2211) . . N Propuesta del Seminario tecnológico CTA en Inteligencia Artificial (New page: Estimado José Antonio, Tal y como hemos comentado por teléfono esta mañana, nos gustaría contar contigo o alguna persona de tu confianza en tu grupo, para participar en un Seminario T...)
- 13:17 27 oct 2011 (dif | hist) . . (+991) . . N Seminario tecnológico CTA en Inteligencia Artificial (New page: En esta página se recopila la informacón sobre la participación de nuestro grupo en el ''Seminario tecnológico CTA en Inteligencia Artificial''. == Antecedentes == * [http://www.corpo...)
- 07:37 21 oct 2011 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→<span id="27-Oct-11">Seminario del 27 de Octubre de 2011</span>)
- 07:17 21 oct 2011 (dif | hist) . . (+28) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de Octubre de 2011)
- 07:14 21 oct 2011 (dif | hist) . . (+13) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 07:05 21 oct 2011 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→#18-Jun-10 Seminario del 18 de Junio de 2010)
- 07:04 21 oct 2011 (dif | hist) . . (+15) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 06:51 21 oct 2011 (dif | hist) . . (+146) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de Octubre de 2011)
- 06:50 21 oct 2011 (dif | hist) . . (+547) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 12:10 18 oct 2011 (dif | hist) . . (+996) . . Seminario del Grupo de Lógica Computacional
- 08:04 17 jul 2011 (dif | hist) . . (-12) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 08:01 17 jul 2011 (dif | hist) . . (+12) . . Seminario del Grupo de Lógica Computacional (→Material de interés para el Seminario del GLC)
- 13:57 26 abr 2011 (dif | hist) . . (+11) . . Computational Logic Group (edición actual)
- 17:09 8 oct 2010 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 20 de Octubre de 2010)
- 17:09 8 oct 2010 (dif | hist) . . (+150) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 17:04 8 oct 2010 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional
- 17:03 8 oct 2010 (dif | hist) . . (-6) . . Seminario del Grupo de Lógica Computacional
- 16:58 8 oct 2010 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional
- 16:56 8 oct 2010 (dif | hist) . . (+10) . . Seminario del Grupo de Lógica Computacional
- 16:55 8 oct 2010 (dif | hist) . . (-10) . . Seminario del Grupo de Lógica Computacional
- 16:41 8 oct 2010 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:40 8 oct 2010 (dif | hist) . . (+104) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:39 8 oct 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:38 8 oct 2010 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Octubre de 2010)
- 16:38 8 oct 2010 (dif | hist) . . (+947) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 16:33 8 oct 2010 (dif | hist) . . (+28) . . Seminario del Grupo de Lógica Computacional (→Sesiones previstas del seminario y anteriores)
- 16:30 8 oct 2010 (dif | hist) . . (+11) . . Seminario del Grupo de Lógica Computacional
- 16:26 8 oct 2010 (dif | hist) . . (-9) . . Seminario del Grupo de Lógica Computacional
- 15:58 2 jun 2010 (dif | hist) . . (0) . . Theories (→Resources)
- 15:57 2 jun 2010 (dif | hist) . . (0) . . Theories (→Theories)
- 15:54 2 jun 2010 (dif | hist) . . (+33) . . A formally verified prover for the ALC description logic (in PVS)
- 15:53 2 jun 2010 (dif | hist) . . (+33) . . Verification of the formal concept analysis in PVS
- 15:52 2 jun 2010 (dif | hist) . . (+33) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:52 2 jun 2010 (dif | hist) . . (-4) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:50 2 jun 2010 (dif | hist) . . (0) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 15:49 2 jun 2010 (dif | hist) . . (0) . . Theory of Refinements in PVS
- 09:19 20 abr 2010 (dif | hist) . . (-69) . . Sistemas verificados para el razonamiento en la web semántica (→Referencias) (edición actual)
- 09:18 20 abr 2010 (dif | hist) . . (0) . . Sistemas verificados para el razonamiento en la web semántica (→Artículos anteriores)
- 09:17 20 abr 2010 (dif | hist) . . (+2685) . . Sistemas verificados para el razonamiento en la web semántica
- 22:59 19 abr 2010 (dif | hist) . . (+5048) . . N Sistemas verificados para el razonamiento en la web semántica (New page: Las actividades desarrolladas en el proyecto pueden clasificarse de acuerdo a dos líneas de trabajo: (1) el diseño de sistemas de razonamiento formalmente verificados que puedan aplicars...)
- 22:49 19 abr 2010 (dif | hist) . . (+4) . . Projects (→Proyectos pasados)
- 10:12 24 mar 2010 (dif | hist) . . (+11) . . Enlaces (→Próximos Congresos) (edición actual)
- 10:11 24 mar 2010 (dif | hist) . . (-1) . . Enlaces (→Próximos Congresos)
- 10:10 24 mar 2010 (dif | hist) . . (+122) . . Enlaces (→Próximos Congresos)
- 10:04 24 mar 2010 (dif | hist) . . (-24) . . Enlaces (→Próximos Congresos)
- 10:03 24 mar 2010 (dif | hist) . . (-1) . . Enlaces (→Próximos Congresos)
- 10:00 24 mar 2010 (dif | hist) . . (+199) . . Enlaces (→Próximos Congresos)
- 09:47 24 mar 2010 (dif | hist) . . (+58) . . Enlaces (→Otras listas de congresos)
- 09:46 24 mar 2010 (dif | hist) . . (+160) . . Enlaces (→Próximos Congresos)
- 08:45 24 mar 2010 (dif | hist) . . (+8) . . Enlaces (→Otras listas de congresos)
- 08:44 24 mar 2010 (dif | hist) . . (+26) . . Enlaces (→Próximos Congresos)
- 08:43 24 mar 2010 (dif | hist) . . (+27) . . Enlaces (→Enlaces a congresos)
- 00:02 24 mar 2010 (dif | hist) . . (+177) . . Enlaces (→Enlaces a congresos)
- 23:59 23 mar 2010 (dif | hist) . . (-8) . . Enlaces (→Otras listas de congresos)
- 23:58 23 mar 2010 (dif | hist) . . (+1866) . . N Archivo de congresos anteriores (New page: * {{congreso|05-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Secur...) (edición actual)
- 23:58 23 mar 2010 (dif | hist) . . (-1799) . . Enlaces (→Enlaces a congresos)
- 10:35 28 ene 2010 (dif | hist) . . (+177) . . Enlaces (→Enlaces a congresos)
- 09:02 25 ene 2010 (dif | hist) . . (+162) . . Enlaces (→Enlaces a congresos)
- 16:23 6 ene 2010 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 15:49 6 ene 2010 (dif | hist) . . (+182) . . Enlaces (→Enlaces a congresos)
- 15:21 6 ene 2010 (dif | hist) . . (+159) . . Enlaces (→Enlaces a congresos)
- 10:42 17 dic 2009 (dif | hist) . . (+161) . . Enlaces (→Enlaces a congresos)
- 10:37 17 dic 2009 (dif | hist) . . (+189) . . Enlaces (→Enlaces a congresos)
- 15:34 1 dic 2009 (dif | hist) . . (+184) . . Enlaces (→Enlaces a congresos)
- 09:06 1 dic 2009 (dif | hist) . . (+165) . . Enlaces (→Enlaces a congresos)
- 08:48 1 dic 2009 (dif | hist) . . (+186) . . Enlaces (→Enlaces a congresos)
- 08:45 1 dic 2009 (dif | hist) . . (+172) . . Enlaces (→Enlaces a congresos)
- 08:42 1 dic 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 08:41 1 dic 2009 (dif | hist) . . (+156) . . Enlaces (→Enlaces a congresos)
- 00:01 28 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 00:00 28 nov 2009 (dif | hist) . . (+312) . . Enlaces (→Enlaces a congresos)
- 09:04 26 nov 2009 (dif | hist) . . (+184) . . Enlaces (→Enlaces a congresos)
- 16:28 22 nov 2009 (dif | hist) . . (+199) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 16:25 22 nov 2009 (dif | hist) . . (+258) . . Seminario del Grupo de Lógica Computacional
- 09:08 22 nov 2009 (dif | hist) . . (+195) . . Enlaces (→Enlaces a congresos)
- 09:48 20 nov 2009 (dif | hist) . . (+97) . . Material de interés para el Seminario del GLC (→Últimos añadidos) (edición actual)
- 09:47 20 nov 2009 (dif | hist) . . (+162) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 09:09 20 nov 2009 (dif | hist) . . (+269) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 08:56 19 nov 2009 (dif | hist) . . (+132) . . Enlaces (→Enlaces a congresos)
- 09:39 18 nov 2009 (dif | hist) . . (+208) . . Enlaces (→Enlaces a congresos)
- 09:35 18 nov 2009 (dif | hist) . . (+169) . . Enlaces (→Enlaces a congresos)
- 09:22 18 nov 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 09:21 18 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 09:21 18 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 09:20 18 nov 2009 (dif | hist) . . (+170) . . Enlaces (→Enlaces a congresos)
- 19:13 15 nov 2009 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 19:13 15 nov 2009 (dif | hist) . . (+187) . . Enlaces (→Enlaces a congresos)
- 09:12 14 nov 2009 (dif | hist) . . (-137) . . Enlaces (→Enlaces a congresos)
- 09:05 14 nov 2009 (dif | hist) . . (-4835) . . Enlaces (→Enlaces a congresos)
- 23:03 12 nov 2009 (dif | hist) . . (+181) . . Theories (→Theories)
- 20:32 11 nov 2009 (dif | hist) . . (0) . . Formalizing Desargues' theorem in Coq using ranks (edición actual)
- 11:32 10 nov 2009 (dif | hist) . . (+247) . . Material de interés para el Seminario del GLC (→Últimos añadidos)
- 10:45 10 nov 2009 (dif | hist) . . (+206) . . Enlaces (→Enlaces a congresos)
- 19:29 7 nov 2009 (dif | hist) . . (+799) . . Publications (→Capítulos en libros)
- 19:21 7 nov 2009 (dif | hist) . . (+6) . . Publications
- 19:20 7 nov 2009 (dif | hist) . . (+14) . . Publications
- 16:12 5 nov 2009 (dif | hist) . . (-44) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:03 5 nov 2009 (dif | hist) . . (-94) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:02 5 nov 2009 (dif | hist) . . (+38) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 16:02 5 nov 2009 (dif | hist) . . (+90) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 10:46 27 oct 2009 (dif | hist) . . (+146) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:59 26 oct 2009 (dif | hist) . . (+33) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:57 26 oct 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 29 de Octubre de 2009)
- 15:56 26 oct 2009 (dif | hist) . . (+331) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Octubre de 2009)
- 15:54 26 oct 2009 (dif | hist) . . (+800) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 14:28 15 oct 2009 (dif | hist) . . (+110) . . Seminario del Grupo de Lógica Computacional (→Seminario del 22 de Octubre de 2009)
- 14:26 15 oct 2009 (dif | hist) . . (+691) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 21:30 17 jul 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 23:54 27 jun 2009 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 09:22 26 may 2009 (dif | hist) . . (-15) . . Enlaces (→Enlaces a congresos)
- 09:16 20 may 2009 (dif | hist) . . (+146) . . Enlaces (→Enlaces a congresos)
- 23:11 18 may 2009 (dif | hist) . . (+52) . . Seminario del Grupo de Lógica Computacional (→Seminario del 20 de Mayo de 2009)
- 23:02 18 may 2009 (dif | hist) . . (+270) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 08:46 14 may 2009 (dif | hist) . . (+172) . . Enlaces (→Enlaces a congresos)
- 19:11 4 may 2009 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 13 de Mayo de 2009)
- 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].)
- 10:56 11 dic 2008 (dif | hist) . . (+47) . . Lecturas
- 10:54 11 dic 2008 (dif | hist) . . (+176) . . Formal Proof: The Four-Color Theorem
- 10:47 11 dic 2008 (dif | hist) . . (-12) . . Formal Proof: The Four-Color Theorem
- 10:46 11 dic 2008 (dif | hist) . . (+86) . . Formal Proof: The Four-Color Theorem
- 10:45 11 dic 2008 (dif | hist) . . (0) . . Formal Proof: The Four-Color Theorem
- 10:45 11 dic 2008 (dif | hist) . . (+301) . . Formal Proof: The Four-Color Theorem
- 10:42 11 dic 2008 (dif | hist) . . (+1082) . . N Formal Proof: The Four-Color Theorem (New page: G. Gonthier [http://www.ams.org/notices/200811/tx081101382p.pdf ''Formal Proof: The Four-Color Theorem'']. Notices of the AMS, Vol. 55, N. 11 (2008) p.1382-1393. ---- El artículo describe...)
- 10:33 11 dic 2008 (dif | hist) . . (0) . . Lecturas
- 10:32 11 dic 2008 (dif | hist) . . (+71) . . Lecturas
- 09:32 10 dic 2008 (dif | hist) . . (+209) . . Enlaces (→Enlaces a congresos)
- 20:52 8 dic 2008 (dif | hist) . . (+314) . . Razonamiento formalizado (edición actual)
- 13:28 8 dic 2008 (dif | hist) . . (+86) . . Logic for Computer Science
- 13:25 8 dic 2008 (dif | hist) . . (-1) . . Logic for Computer Science
- 12:32 8 dic 2008 (dif | hist) . . (+1752) . . Logic for Computer Science
- 11:59 8 dic 2008 (dif | hist) . . (-1) . . Logic for Computer Science
- 11:59 8 dic 2008 (dif | hist) . . (+2) . . Logic for Computer Science
- 11:58 8 dic 2008 (dif | hist) . . (+1945) . . N Logic for Computer Science (New page: B. Buchberger (1991) [http://www.risc.uni-linz.ac.at/education/courses/ws2008/logic-1/buchberger-logic-1.pdf ''Logic for Computer Science''] ---- Esta obra es el borrador de un libro de te...)
- 11:29 8 dic 2008 (dif | hist) . . (+63) . . Lecturas
- 18:43 7 dic 2008 (dif | hist) . . (-759) . . Enlaces (→Enlaces a congresos)
- 13:45 6 dic 2008 (dif | hist) . . (+32) . . Enlaces (→Enlaces a congresos)
- 13:42 6 dic 2008 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 13:42 6 dic 2008 (dif | hist) . . (+126) . . Enlaces (→Enlaces a congresos)
- 13:20 6 dic 2008 (dif | hist) . . (+91) . . Enlaces (→Otras listas de congresos)
- 17:10 4 dic 2008 (dif | hist) . . (-30) . . Enlaces (→Otras listas de congresos)
- 17:09 4 dic 2008 (dif | hist) . . (+387) . . Enlaces (→Enlaces a congresos)
- 11:20 4 dic 2008 (dif | hist) . . (+1383) . . Formalizing basic first order model theory (edición actual)
- 10:59 4 dic 2008 (dif | hist) . . (+19) . . N Formalizing basic first order model theory (New page: Category: Lecturas)
- 10:59 4 dic 2008 (dif | hist) . . (+76) . . Lecturas
- 22:15 29 nov 2008 (dif | hist) . . (+162) . . Enlaces (→Enlaces a grupos de investigación)
- 09:34 28 nov 2008 (dif | hist) . . (+214) . . Enlaces (→Enlaces a congresos)
- 10:06 27 nov 2008 (dif | hist) . . (-161) . . Enlaces (→Enlaces a congresos)
- 10:03 27 nov 2008 (dif | hist) . . (+160) . . Enlaces (→Enlaces a congresos)
- 09:46 27 nov 2008 (dif | hist) . . (+6) . . Plantilla:Jruiz (edición actual)
- 23:18 25 nov 2008 (dif | hist) . . (+151) . . Razonamiento formalizado
- 16:51 25 nov 2008 (dif | hist) . . (+155) . . Enlaces (→Enlaces a congresos)
- 15:28 25 nov 2008 (dif | hist) . . (+4737) . . Razonamiento formalizado
- 11:49 25 nov 2008 (dif | hist) . . (+288) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 10:25 25 nov 2008 (dif | hist) . . (-19) . . Projects (→Proyectos futuros)
- 10:25 25 nov 2008 (dif | hist) . . (-4443) . . m Razonamiento formalizado (Formalización del conocimiento matemático moved to Razonamiento formalizado)
- 10:25 25 nov 2008 (dif | hist) . . (+38) . . N Formalización del conocimiento matemático (Formalización del conocimiento matemático moved to Razonamiento formalizado) (edición actual)
- 10:23 25 nov 2008 (dif | hist) . . (+310) . . Razonamiento formalizado
- 09:20 25 nov 2008 (dif | hist) . . (+25) . . Razonamiento formalizado (→Proyectos relacionados)
- 09:17 25 nov 2008 (dif | hist) . . (+44) . . Razonamiento formalizado (→Proyectos relacionados)
- 23:49 24 nov 2008 (dif | hist) . . (0) . . Publications (→Aportaciones a Congresos)
- 23:49 24 nov 2008 (dif | hist) . . (0) . . Publications (→Libros de Actas)
- 23:49 24 nov 2008 (dif | hist) . . (0) . . Publications (→Publicaciones en Revistas)
- 23:49 24 nov 2008 (dif | hist) . . (0) . . Publications (→Capítulos en Libros)
- 23:44 24 nov 2008 (dif | hist) . . (-11) . . Publications (→Aportaciones a Congresos)
- 23:40 24 nov 2008 (dif | hist) . . (+56) . . Publications
- 23:38 24 nov 2008 (dif | hist) . . (0) . . Publications
- 23:37 24 nov 2008 (dif | hist) . . (+78) . . Publications
- 23:35 24 nov 2008 (dif | hist) . . (+61) . . Publications (→Aportaciones a Congresos)
- 23:33 24 nov 2008 (dif | hist) . . (-13) . . Publications (→Aportaciones a Congresos)
- 23:28 24 nov 2008 (dif | hist) . . (0) . . Publications (→Libros de Actas)
- 23:27 24 nov 2008 (dif | hist) . . (+355) . . Publications (→Publicaciones en Revistas)
- 23:06 24 nov 2008 (dif | hist) . . (-37) . . Plantilla:J (edición actual)
- 23:05 24 nov 2008 (dif | hist) . . (+84) . . Publications
- 22:59 24 nov 2008 (dif | hist) . . (-13) . . Publications
- 22:55 24 nov 2008 (dif | hist) . . (0) . . Publications (→Libros)
- 22:54 24 nov 2008 (dif | hist) . . (+30) . . Publications (→Libros)
- 22:36 24 nov 2008 (dif | hist) . . (-8) . . Publications (→Publicaciones en Revistas)
- 22:35 24 nov 2008 (dif | hist) . . (+1265) . . Publications
- 21:31 24 nov 2008 (dif | hist) . . (+2) . . Plantilla:J
- 21:30 24 nov 2008 (dif | hist) . . (0) . . Plantilla:J
- 21:29 24 nov 2008 (dif | hist) . . (+37) . . Plantilla:J
- 21:25 24 nov 2008 (dif | hist) . . (+99) . . Publications
- 21:13 24 nov 2008 (dif | hist) . . (-43) . . Publications (→Publicaciones en Revistas)
- 21:11 24 nov 2008 (dif | hist) . . (+64) . . N Plantilla:J (New page: ''[http://www.cs.us.es/~jalonso/publicaciones/{{{1}}} {{{2}}}]'')
- 12:16 24 nov 2008 (dif | hist) . . (+33) . . Publications (→Publicaciones en Revistas)
- 12:14 24 nov 2008 (dif | hist) . . (+6) . . Publications (→Publicaciones en Revistas)
- 12:05 24 nov 2008 (dif | hist) . . (-39) . . Publications (→Publicaciones en Revistas)
- 11:09 24 nov 2008 (dif | hist) . . (+370) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 09:54 23 nov 2008 (dif | hist) . . (-32) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 09:52 23 nov 2008 (dif | hist) . . (-5) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 09:51 23 nov 2008 (dif | hist) . . (+179) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 09:31 23 nov 2008 (dif | hist) . . (+199) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 10:48 22 nov 2008 (dif | hist) . . (+45) . . N Categoría:Seminario (New page: Seminario del Grupo de Lógica Computacional.) (edición actual)
- 10:46 22 nov 2008 (dif | hist) . . (+25) . . Seminario del Grupo de Lógica Computacional
- 23:28 21 nov 2008 (dif | hist) . . (+131) . . Razonamiento formalizado
- 14:42 21 nov 2008 (dif | hist) . . (+378) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 14:38 21 nov 2008 (dif | hist) . . (0) . . Projects (→Proyectos futuros)
- 10:54 20 nov 2008 (dif | hist) . . (+57) . . Razonamiento formalizado
- 10:51 20 nov 2008 (dif | hist) . . (-418) . . Razonamiento formalizado
- 10:49 20 nov 2008 (dif | hist) . . (+3) . . Razonamiento formalizado
- 10:48 20 nov 2008 (dif | hist) . . (+369) . . Razonamiento formalizado
- 10:36 20 nov 2008 (dif | hist) . . (+1964) . . Razonamiento formalizado
- 23:18 19 nov 2008 (dif | hist) . . (+16) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 23:17 19 nov 2008 (dif | hist) . . (+153) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 23:15 19 nov 2008 (dif | hist) . . (+457) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 23:08 19 nov 2008 (dif | hist) . . (-11) . . Razonamiento formalizado (→Proyectos relacionados)
- 23:07 19 nov 2008 (dif | hist) . . (+8) . . Razonamiento formalizado (→Proyectos relacionados)
- 23:07 19 nov 2008 (dif | hist) . . (0) . . Razonamiento formalizado (→Proyectos relacionados)
- 22:50 19 nov 2008 (dif | hist) . . (+391) . . Razonamiento formalizado
- 20:43 19 nov 2008 (dif | hist) . . (+154) . . Enlaces (→Enlaces a congresos)
- 20:04 19 nov 2008 (dif | hist) . . (+144) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:59 19 nov 2008 (dif | hist) . . (+168) . . Enlaces (→Enlaces a congresos)
- 19:52 19 nov 2008 (dif | hist) . . (+169) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:48 19 nov 2008 (dif | hist) . . (+7) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 19:48 19 nov 2008 (dif | hist) . . (+93) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:47 19 nov 2008 (dif | hist) . . (+140) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 19:32 19 nov 2008 (dif | hist) . . (+181) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:30 19 nov 2008 (dif | hist) . . (+91) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:23 19 nov 2008 (dif | hist) . . (+730) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:09 19 nov 2008 (dif | hist) . . (0) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 19:08 19 nov 2008 (dif | hist) . . (+536) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 16:47 19 nov 2008 (dif | hist) . . (+168) . . Enlaces (→Enlaces a congresos)
- 16:19 19 nov 2008 (dif | hist) . . (+35) . . How to (really) trust a mathematical proof (edición actual)
- 13:06 19 nov 2008 (dif | hist) . . (+242) . . Razonamiento formalizado
- 12:59 19 nov 2008 (dif | hist) . . (-4) . . Programas sencillos para problemas complejos (edición actual)
- 12:34 19 nov 2008 (dif | hist) . . (+62) . . Verificación de traductores de problemas combinatorios en SAT (edición actual)
- 12:33 19 nov 2008 (dif | hist) . . (+62) . . Verificación de sistemas SAT (edición actual)
- 12:33 19 nov 2008 (dif | hist) . . (+86) . . Programas sencillos para problemas complejos
- 12:32 19 nov 2008 (dif | hist) . . (+132) . . Solución declarativa de problemas (edición actual)
- 12:30 19 nov 2008 (dif | hist) . . (+272) . . Programas sencillos para problemas complejos
- 12:26 19 nov 2008 (dif | hist) . . (+246) . . N Programas sencillos para problemas complejos (New page: El objetivo del proyecto es estudiar problemas complejos (problemas tradicionales de IA o problemas NP duros) y conseguir programas sencillos (de código corto y simple) que lo resuelvan. ...)
- 12:23 19 nov 2008 (dif | hist) . . (+51) . . Projects (→Proyectos futuros)
- 12:03 19 nov 2008 (dif | hist) . . (+253) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:50 19 nov 2008 (dif | hist) . . (+160) . . Razonamiento formalizado
- 11:47 19 nov 2008 (dif | hist) . . (+1169) . . N Razonamiento formalizado (New page: Este es un megaproyecto. Según [http://www.ams.org/notices/200811/tx081101370p.pdf Thomas Hales] "the formalization of just 100,000 pages of core mathematics" sería "the sequencing of a ...)
- 11:33 19 nov 2008 (dif | hist) . . (+50) . . Projects
- 11:27 19 nov 2008 (dif | hist) . . (-9) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Bibliografía)
- 11:27 19 nov 2008 (dif | hist) . . (+477) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:16 19 nov 2008 (dif | hist) . . (0) . . Proyectos relacionados (→Universidad de Liverpool)
- 11:16 19 nov 2008 (dif | hist) . . (+179) . . Proyectos relacionados (→Proyectos de investigación)
- 10:50 19 nov 2008 (dif | hist) . . (-2) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (→Proyectos relacionados)
- 10:50 19 nov 2008 (dif | hist) . . (+981) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 10:12 19 nov 2008 (dif | hist) . . (0) . . Enlaces (→Enlaces a congresos)
- 10:12 19 nov 2008 (dif | hist) . . (+199) . . Enlaces (→Enlaces a congresos)
- 09:19 19 nov 2008 (dif | hist) . . (-6) . . How to (really) trust a mathematical proof
- 09:17 19 nov 2008 (dif | hist) . . (+24) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (0) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (-3) . . How to (really) trust a mathematical proof
- 09:14 19 nov 2008 (dif | hist) . . (+1682) . . N How to (really) trust a mathematical proof (New page: J. Rehmeyer ''[http://www.sciencenews.org/view/generic/id/38623/title/How_to_(really)_trust_a_mathematical_proof How to (really) trust a mathematical proof]''. ScienceNews, 14 de Noviembre...)
- 08:54 19 nov 2008 (dif | hist) . . (+1) . . Lecturas
- 08:53 19 nov 2008 (dif | hist) . . (-98) . . Lecturas
- 08:52 19 nov 2008 (dif | hist) . . (+176) . . Lecturas
- 00:17 19 nov 2008 (dif | hist) . . (+90) . . Proyectos relacionados (→Propuestas de Proyectos de Tesis Doctoral)
- 11:17 13 nov 2008 (dif | hist) . . (+103) . . Related courses
- 11:12 13 nov 2008 (dif | hist) . . (-5) . . Deduction using the ProofWeb system (edición actual)
- 11:11 13 nov 2008 (dif | hist) . . (+63) . . Deduction using the ProofWeb system
- 11:10 13 nov 2008 (dif | hist) . . (+129) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 11:08 13 nov 2008 (dif | hist) . . (+847) . . N Deduction using the ProofWeb system (New page: C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer ''[http://proofweb.cs.ru.nl/man.pdf Deduction using the ProofWeb system]''. ICIS Technical Report, 2008. --...)
- 10:58 13 nov 2008 (dif | hist) . . (+140) . . Lecturas
- 10:02 13 nov 2008 (dif | hist) . . (+387) . . Material de interés para el Seminario del GLC (→Sistemas para la enseñanza de la lógica)
- 11:40 12 nov 2008 (dif | hist) . . (-2) . . Formalizing Desargues' theorem in Coq using ranks
- 11:39 12 nov 2008 (dif | hist) . . (+64) . . Mathematics and computer science: The interplay (edición actual)
- 11:39 12 nov 2008 (dif | hist) . . (+89) . . Formalizing Desargues' theorem in Coq using ranks
- 11:38 12 nov 2008 (dif | hist) . . (+64) . . Semantic Wikipedia (edición actual)
- 11:38 12 nov 2008 (dif | hist) . . (+64) . . A short survey of automated reasoning (edición actual)
- 11:37 12 nov 2008 (dif | hist) . . (0) . . Solving challenging grid puzzles with answer set programming (edición actual)
- 11:37 12 nov 2008 (dif | hist) . . (0) . . Solving challenging grid puzzles with answer set programming
- 11:36 12 nov 2008 (dif | hist) . . (+64) . . Solving challenging grid puzzles with answer set programming
- 11:36 12 nov 2008 (dif | hist) . . (+46) . . N Usuario:Jalonso (New page: [http://www.cs.us.es/~jalonso José A. Alonso]) (edición actual)
- 11:35 12 nov 2008 (dif | hist) . . (+9) . . Constraint Logic Programming using Eclipse (edición actual)
- 11:21 12 nov 2008 (dif | hist) . . (+55) . . Constraint Logic Programming using Eclipse
- 11:11 12 nov 2008 (dif | hist) . . (+566) . . N Formalizing Desargues' theorem in Coq using ranks (New page: N. Magaud, J Narboux y P. Schreck ''[http://lsiit.u-strasbg.fr/Publications/2009/MNS09/desargues.pdf Formalizing Desargues' theorem in Coq using ranks]''. Proceedings of the ACM Symposium ...)
- 11:04 12 nov 2008 (dif | hist) . . (+1) . . Lecturas
- 11:03 12 nov 2008 (dif | hist) . . (+106) . . Lecturas
- 10:58 12 nov 2008 (dif | hist) . . (0) . . Lecturas
- 14:19 5 nov 2008 (dif | hist) . . (+14) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de Noviembre de 2008)
- 14:14 5 nov 2008 (dif | hist) . . (+359) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de Noviembre de 2008)
- 14:10 5 nov 2008 (dif | hist) . . (+5) . . Seminario del Grupo de Lógica Computacional (→Seminario del 19 de Noviembre de 2008)
- 14:10 5 nov 2008 (dif | hist) . . (+184) . . Seminario del Grupo de Lógica Computacional (→Próximos seminarios)
- 13:58 5 nov 2008 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 12 de Noviembre de 2008)
- 11:23 5 nov 2008 (dif | hist) . . (+312) . . Enlaces (→Enlaces a grupos de investigación)
- 00:54 4 nov 2008 (dif | hist) . . (+180) . . Enlaces (→Enlaces a congresos)
- 00:46 4 nov 2008 (dif | hist) . . (+104) . . Enlaces
- 14:20 1 nov 2008 (dif | hist) . . (+183) . . Enlaces (→Enlaces a congresos)
- 14:13 1 nov 2008 (dif | hist) . . (+230) . . Enlaces (→Enlaces a grupos de investigación)
- 14:02 1 nov 2008 (dif | hist) . . (+1) . . Enlaces (→Enlaces a grupos de investigación)
- 14:02 1 nov 2008 (dif | hist) . . (+154) . . Enlaces (→Enlaces a grupos de investigación)
- 13:59 1 nov 2008 (dif | hist) . . (+154) . . Enlaces (→Enlaces a congresos)
- 13:55 1 nov 2008 (dif | hist) . . (+19) . . Enlaces (→Enlaces a congresos)
- 13:54 1 nov 2008 (dif | hist) . . (+17) . . Enlaces (→Enlaces a congresos)
- 13:53 1 nov 2008 (dif | hist) . . (+12) . . Enlaces (→Enlaces a congresos)
- 13:52 1 nov 2008 (dif | hist) . . (+15) . . Plantilla:Congreso (edición actual)
- 13:50 1 nov 2008 (dif | hist) . . (+146) . . Enlaces (→Enlaces a congresos)
- 13:46 1 nov 2008 (dif | hist) . . (+167) . . Enlaces (→Enlaces a congresos)
- 13:43 1 nov 2008 (dif | hist) . . (-194) . . Enlaces (→Enlaces a congresos)
- 13:42 1 nov 2008 (dif | hist) . . (+123) . . Enlaces (→Enlaces a congresos)
- 13:40 1 nov 2008 (dif | hist) . . (+104) . . N Plantilla:Congreso (New page: <font style="background:#FFDDDD">{{{1}}}</font> <font style="background:#DDFFDD">{{{2}}}</font> {{{3}}}.)
- 13:37 1 nov 2008 (dif | hist) . . (-18) . . Enlaces (→Enlaces a congresos)
- 13:37 1 nov 2008 (dif | hist) . . (-24) . . Enlaces (→Enlaces a congresos)
- 13:36 1 nov 2008 (dif | hist) . . (0) . . Enlaces (→Congresos)
- 13:36 1 nov 2008 (dif | hist) . . (+138) . . Enlaces (→Congresos)
- 13:34 1 nov 2008 (dif | hist) . . (+2) . . Enlaces (→Congresos)
- 13:29 1 nov 2008 (dif | hist) . . (0) . . Enlaces (→Congresos)
- 13:29 1 nov 2008 (dif | hist) . . (+39) . . Enlaces (→Congresos)
- 13:28 1 nov 2008 (dif | hist) . . (-1) . . Enlaces (→Enlaces a congresos)
- 13:27 1 nov 2008 (dif | hist) . . (+40) . . Enlaces (→Congresos)
- 13:24 1 nov 2008 (dif | hist) . . (+114) . . Enlaces (→Congresos)
- 13:20 1 nov 2008 (dif | hist) . . (+169) . . Enlaces
- 11:42 1 nov 2008 (dif | hist) . . (+53) . . Enlaces (→Enlaces a sistemas)
- 16:37 29 oct 2008 (dif | hist) . . (+1) . . Group members (→Researchers)
- 16:37 29 oct 2008 (dif | hist) . . (+103) . . Group members
- 10:35 29 oct 2008 (dif | hist) . . (+50) . . Proyectos relacionados (→INRIA Sophia-Antipolis)
- 10:33 29 oct 2008 (dif | hist) . . (-282) . . Proyectos relacionados (→INRIA Sophia-Antipolis)
- 10:33 29 oct 2008 (dif | hist) . . (+18) . . Proyectos relacionados (→INRIA)
- 10:31 29 oct 2008 (dif | hist) . . (+344) . . Proyectos relacionados (→Proyectos de investigación)
- 10:16 29 oct 2008 (dif | hist) . . (+150) . . Enlaces (→Enlaces a grupos de investigación)
(últimas | primeras) Ver (500 siguientes | 500 anteriores) (20 | 50 | 100 | 250 | 500).