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