Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:55 15 jul 2018 (dif | hist) . . (+4) . . Rel 4 (edición actual)
- 20:55 15 jul 2018 (dif | hist) . . (+4) . . Rel 3 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (+4) . . Rel 2 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (+4) . . Rel 1 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (-168) . . Ejercicios (edición actual)
- 20:53 15 jul 2018 (dif | hist) . . (+4) . . Tema 4: Deducción natural proposicional con Isabelle/HOL (edición actual)
- 20:52 15 jul 2018 (dif | hist) . . (+4) . . Tema 3: Razonamiento sobre programas (edición actual)
- 20:52 15 jul 2018 (dif | hist) . . (+4) . . Tema 2: Programación funcional en Isabelle (edición actual)
- 20:52 15 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
- 12:33 7 mar 2013 (dif | hist) . . (+228) . . Relación 3
- 10:01 27 dic 2012 (dif | hist) . . (+183) . . Documentación (→Visiones generales de la DAO) (edición actual)
- 12:20 26 dic 2012 (dif | hist) . . (0) . . Documentación (→Visiones generales de la DAO)
- 12:20 26 dic 2012 (dif | hist) . . (+733) . . Documentación (→Visiones generales de la DAO)
- 12:11 26 dic 2012 (dif | hist) . . (+15) . . Documentación (→Visiones generales de la DAO)
- 12:11 26 dic 2012 (dif | hist) . . (+148) . . Documentación (→Visiones generales de la DAO)
- 18:08 19 dic 2012 (dif | hist) . . (+1) . . Relación 3
- 16:33 19 dic 2012 (dif | hist) . . (+23 350) . . N Tema 4: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural proposicional con Isabelle/HOL *} theory DNLP imports Main begin text {* En esta sección se presentan los ejemplo...')
- 16:32 19 dic 2012 (dif | hist) . . (+65) . . Temas (edición actual)
- 23:55 18 dic 2012 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 23:55 18 dic 2012 (dif | hist) . . (+8775) . . N Relación 4 (Página creada con '<source lang="isar"> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* -----------------------------------------------------------...')
(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).