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