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