Contribuciones del usuario
(últimas | primeras) Ver (250 siguientes | 250 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)
(últimas | primeras) Ver (250 siguientes | 250 anteriores) (20 | 50 | 100 | 250 | 500).