Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:13 24 oct 2016 (dif | hist) . . (0) . . m Documentación (Protegió «Documentación» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:13 24 oct 2016 (dif | hist) . . (0) . . m Tema 1: Programación funcional en Isabelle (Protegió «Tema 1: Programación funcional en Isabelle» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:12 24 oct 2016 (dif | hist) . . (0) . . m Razonamiento automático (2016-17) (Protegió «Razonamiento automático (2016-17)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:12 24 oct 2016 (dif | hist) . . (+5729) . . N Relación 1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 19:12 24 oct 2016 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:11 24 oct 2016 (dif | hist) . . (+5729) . . N R1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 19:10 24 oct 2016 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:09 24 oct 2016 (dif | hist) . . (+1) . . Ejercicios
- 19:08 24 oct 2016 (dif | hist) . . (+8215) . . N Tema 1: Programación funcional en Isabelle (Página creada con '<source lang="isar"> header {* Tema 1: Programación funcional en Isabelle *} theory T1 imports Main begin section {* Introducción *} text {* En este tema se presenta el le...')
- 19:07 24 oct 2016 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:06 24 oct 2016 (dif | hist) . . (+1) . . Temas
- 06:10 23 oct 2016 (dif | hist) . . (-23) . . Documentación (→Cursos con Isabelle/HOL)
- 18:11 17 oct 2016 (dif | hist) . . (-85) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 18:11 17 oct 2016 (dif | hist) . . (-91) . . Documentación (→Otros cursos)
- 18:10 17 oct 2016 (dif | hist) . . (-129) . . Documentación (→Otros cursos)
- 18:08 17 oct 2016 (dif | hist) . . (-158) . . Documentación (→Otros cursos)
- 18:01 17 oct 2016 (dif | hist) . . (-189) . . Documentación (→Cursos con Isabelle/HOL)
- 17:58 17 oct 2016 (dif | hist) . . (+13) . . Documentación (→Cursos con Isabelle/HOL)
- 17:54 17 oct 2016 (dif | hist) . . (-7) . . Documentación (→Cursos con Isabelle/HOL)
- 13:13 16 oct 2016 (dif | hist) . . (-135) . . Documentación (→Lógica computacional)
- 13:12 16 oct 2016 (dif | hist) . . (+2) . . Documentación (→Lógica computacional)
- 13:10 16 oct 2016 (dif | hist) . . (+4) . . Documentación (→Lógica computacional)
- 13:08 16 oct 2016 (dif | hist) . . (+4) . . Documentación (→Programación funcional)
- 13:00 16 oct 2016 (dif | hist) . . (-4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 13:00 16 oct 2016 (dif | hist) . . (+12) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:56 16 oct 2016 (dif | hist) . . (-40) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:56 16 oct 2016 (dif | hist) . . (-46) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:55 16 oct 2016 (dif | hist) . . (+7) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:55 16 oct 2016 (dif | hist) . . (-90) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:50 16 oct 2016 (dif | hist) . . (-23) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:50 16 oct 2016 (dif | hist) . . (-39) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:45 16 oct 2016 (dif | hist) . . (-9) . . Documentación (→Visiones generales de la DAO)
- 12:36 16 oct 2016 (dif | hist) . . (+14) . . Documentación (→Visiones generales de la DAO)
- 12:22 16 oct 2016 (dif | hist) . . (-17) . . Documentación
- 09:00 16 oct 2016 (dif | hist) . . (+80) . . MediaWiki:Sidebar
- 16:13 15 oct 2016 (dif | hist) . . (0) . . Temas
- 15:56 15 oct 2016 (dif | hist) . . (+11) . . Sistemas (→Sistemas utilizados en Razonamiento automático (2016-17))
- 15:54 15 oct 2016 (dif | hist) . . (+214) . . N Sistemas (Página creada con '== Sistemas utilizados en ''Razonamiento automático (2016-17)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk...')
- 15:53 15 oct 2016 (dif | hist) . . (+624) . . N Razonamiento automático (2016-17) (Página creada con '== Razonamiento automático (2016-17) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).