Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:09 30 mar 2014 (dif | hist) . . (-12) . . Lecturas del año 2013
- 17:06 30 mar 2014 (dif | hist) . . (+28 082) . . Lecturas del año 2013
- 15:20 20 feb 2014 (dif | hist) . . (+713) . . Seminario del Grupo de Lógica Computacional
- 22:48 14 ene 2014 (dif | hist) . . (-8) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de noviembre de 2013)
- 09:24 18 nov 2013 (dif | hist) . . (+38) . . Seminario del Grupo de Lógica Computacional
- 09:22 18 nov 2013 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Sesiones anteriores del seminario)
- 09:22 18 nov 2013 (dif | hist) . . (-3) . . Seminario del Grupo de Lógica Computacional (→Seminario del 27 de noviembre de 2013)
- 09:21 18 nov 2013 (dif | hist) . . (+550) . . Seminario del Grupo de Lógica Computacional
- 20:09 11 oct 2013 (dif | hist) . . (+22) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de octubre de 2013)
- 20:07 11 oct 2013 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 16 de octubre de 2013)
- 12:00 7 jul 2013 (dif | hist) . . (0) . . Lecturas del año 2013
- 17: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>)
- 06:36 28 abr 2013 (dif | hist) . . (-142) . . Lecturas del año 2013
- 06:32 28 abr 2013 (dif | hist) . . (-2526) . . Lecturas del año 2012 (edición actual)
- 06:16 28 abr 2013 (dif | hist) . . (-4704) . . Lecturas del año 2011 (edición actual)
- 05:33 28 abr 2013 (dif | hist) . . (-687) . . Lecturas del año 2010 (edición actual)
- 18:55 27 abr 2013 (dif | hist) . . (-1299) . . Lecturas
- 18: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)
- 18:53 27 abr 2013 (dif | hist) . . (-73) . . Lecturas
- 18:46 27 abr 2013 (dif | hist) . . (-3) . . Lecturas del año 2013
- 18: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...)
- 18:42 27 abr 2013 (dif | hist) . . (-16) . . Lecturas del año 2012
- 18: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...)
- 18:39 27 abr 2013 (dif | hist) . . (+136) . . Lecturas del año 2011
- 18:25 27 abr 2013 (dif | hist) . . (-3) . . Lecturas del año 2011 (→Lecturas de Enero de 2011)
- 18: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...)
- 18: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...)
- 18:20 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas compartidas)
- 18:20 27 abr 2013 (dif | hist) . . (+361) . . Lecturas
- 17:22 27 abr 2013 (dif | hist) . . (-16 006) . . Lecturas (→Lecturas compartidas)
- 17:16 27 abr 2013 (dif | hist) . . (+6) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 17:15 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 17:14 27 abr 2013 (dif | hist) . . (+7) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 17:06 27 abr 2013 (dif | hist) . . (0) . . Lecturas (→Lecturas del 27-Oct-2010 al 1-Jul-2011)
- 17:05 27 abr 2013 (dif | hist) . . (+15 783) . . Lecturas (→Lecturas compartidas)
- 17:04 27 abr 2013 (dif | hist) . . (+210) . . Lecturas
- 17:01 27 abr 2013 (dif | hist) . . (-28) . . Lecturas (→Lecturas compartidas)
- 16:59 27 abr 2013 (dif | hist) . . (+54) . . Lecturas
- 10: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>)
- 09: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>)
- 08: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>)
- 08:02 12 ene 2013 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 12:37 22 nov 2012 (dif | hist) . . (-4) . . Seminario del Grupo de Lógica Computacional
- 12:37 22 nov 2012 (dif | hist) . . (+1035) . . Seminario del Grupo de Lógica Computacional
- 12: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>)
- 12: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>)
- 16: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>)
- 16: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>)
- 16:45 25 oct 2012 (dif | hist) . . (+1497) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 18: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 (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).