Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 11:55 10 sep 2018 (dif | hist) . . (+4) . . m Relación 8 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:53 9 sep 2018 (dif | hist) . . (+4) . . m Relación 7 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:30 9 sep 2018 (dif | hist) . . (+4) . . m Relación 3 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:08 9 sep 2018 (dif | hist) . . (+4) . . m Relación 1 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 06:35 9 sep 2018 (dif | hist) . . (+4) . . m Relación 9 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 03:12 9 sep 2018 (dif | hist) . . (+4) . . m Relación 2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:24 16 jul 2018 (dif | hist) . . (+4) . . R11 (edición actual)
- 10:24 16 jul 2018 (dif | hist) . . (+4) . . R8 (edición actual)
- 10:24 16 jul 2018 (dif | hist) . . (+4) . . m R10 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:23 16 jul 2018 (dif | hist) . . (+4) . . R7 (edición actual)
- 10:23 16 jul 2018 (dif | hist) . . (+4) . . m Relación 6 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:23 16 jul 2018 (dif | hist) . . (+4) . . R4 (edición actual)
- 10:23 16 jul 2018 (dif | hist) . . (+4) . . m Relación 4 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:23 16 jul 2018 (dif | hist) . . (+4) . . R3 (edición actual)
- 10:22 16 jul 2018 (dif | hist) . . (+4) . . R1 (edición actual)
- 10:22 16 jul 2018 (dif | hist) . . (-663) . . Ejercicios (edición actual)
- 10:19 16 jul 2018 (dif | hist) . . (+4) . . Tema 12d: Pasos elementales (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . Tema 12a: Razonamiento modular (Teoría de grupos) (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . m R6 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . m Relación 10 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . Tema 11: Gramáticas libre de contexto (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . Tema 10: Conjuntos definidos inductivamente (edición actual)
- 10:18 16 jul 2018 (dif | hist) . . (+4) . . m R9 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:17 16 jul 2018 (dif | hist) . . (+4) . . m R2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:17 16 jul 2018 (dif | hist) . . (+4) . . Tema 9: Conjuntos, funciones y relaciones (edición actual)
- 10:17 16 jul 2018 (dif | hist) . . (+4) . . Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (edición actual)
- 10:17 16 jul 2018 (dif | hist) . . (+4) . . m Tema 12e: Sudoku (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:16 16 jul 2018 (dif | hist) . . (+4) . . Tema 7b: Deducción natural proposicional con Isabelle/HOL (edición actual)
- 10:16 16 jul 2018 (dif | hist) . . (+4) . . Tema 6: Caso de estudio: Compilación de expresiones (edición actual)
- 10:16 16 jul 2018 (dif | hist) . . (+4) . . m Relación 11 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . m Tema 12c: Automatización (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . Tema 5a: Verificación de la ordenación por inserción (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . Tema 4: Razonamiento por casos y por inducción (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . m Tema 5b: Verificación de la ordenación por mezcla (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (edición actual)
- 10:15 16 jul 2018 (dif | hist) . . (+4) . . m R5 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:14 16 jul 2018 (dif | hist) . . (+4) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (edición actual)
- 10:14 16 jul 2018 (dif | hist) . . (+4) . . m Tema 1: Programación funcional en Isabelle (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:14 16 jul 2018 (dif | hist) . . (+4) . . m Tema 12b: Razonamiento modular (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:13 16 jul 2018 (dif | hist) . . (+4) . . m Relación 5 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 10:12 16 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)
- 07:15 23 oct 2014 (dif | hist) . . (+245) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** http://www.glc.us.es/~jalonso/vestigium/tag/ra2014|Diar...') (edición actual)
- 07:12 23 oct 2014 (dif | hist) . . (+624) . . N Razonamiento automático (2014-15) (Página creada con '== Razonamiento automático (2014-15) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...') (edición actual)
- 07:11 23 oct 2014 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2014-15)') (edición actual)