Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 14:27 1 abr 2019 (dif | hist) . . (+13 985) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas (edición actual)
- 08:19 26 mar 2019 (dif | hist) . . (+31) . . Deducción natural proposicional con Isabelle/HOL basada en tácticas (edición actual)
- 08:19 26 mar 2019 (dif | hist) . . (+31) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas
- 08:17 26 mar 2019 (dif | hist) . . (+248) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas
- 08:16 26 mar 2019 (dif | hist) . . (0) . . Deducción natural proposicional con Isabelle/HOL basada en tácticas
- 08:16 26 mar 2019 (dif | hist) . . (+248) . . Deducción natural proposicional con Isabelle/HOL basada en tácticas
- 00:02 26 mar 2019 (dif | hist) . . (+6375) . . N Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas
- 00:00 26 mar 2019 (dif | hist) . . (+1) . . Deducción natural proposicional con Isabelle/HOL basada en tácticas
- 00:00 26 mar 2019 (dif | hist) . . (+15 065) . . N Deducción natural proposicional con Isabelle/HOL basada en tácticas
- 19:32 25 mar 2019 (dif | hist) . . (-172) . . Temas
- 19:31 25 mar 2019 (dif | hist) . . (+357) . . Temas
- 19:04 21 feb 2019 (dif | hist) . . (0) . . N Archivo:Ej1-R2.png (edición actual)
- 13:17 14 feb 2019 (dif | hist) . . (+158) . . MediaWiki:Sidebar
- 12:57 14 feb 2019 (dif | hist) . . (-29) . . R1
- 12:56 14 feb 2019 (dif | hist) . . (+29) . . R1
- 12:53 14 feb 2019 (dif | hist) . . (+2) . . MediaWiki:Sidebar
- 12:53 14 feb 2019 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 12:52 14 feb 2019 (dif | hist) . . (+72) . . MediaWiki:Sidebar
- 14:17 7 feb 2019 (dif | hist) . . (+53) . . Página principal
- 14:15 7 feb 2019 (dif | hist) . . (+1) . . Página principal
- 13:20 7 feb 2019 (dif | hist) . . (+206) . . N Ejercicios
- 13:15 7 feb 2019 (dif | hist) . . (0) . . m Definiciones inductivas
- 13:14 7 feb 2019 (dif | hist) . . (0) . . m Conjuntos, funciones y relaciones
- 13:14 7 feb 2019 (dif | hist) . . (0) . . m Razonamiento sobre árboles y bosques
- 13:13 7 feb 2019 (dif | hist) . . (0) . . m Razonamiento por casos y por inducci¢n
- 13:13 7 feb 2019 (dif | hist) . . (0) . . m Programación funcional en Isabelle/HOL
- 13:13 7 feb 2019 (dif | hist) . . (0) . . m Tema 4a
- 13:12 7 feb 2019 (dif | hist) . . (0) . . m Deducción natural proposicional con Isabelle/HOL
- 13:12 7 feb 2019 (dif | hist) . . (0) . . m Temas
- 13:11 7 feb 2019 (dif | hist) . . (0) . . m Página principal
- 13:11 7 feb 2019 (dif | hist) . . (0) . . m Temas
- 13:10 7 feb 2019 (dif | hist) . . (+15 598) . . N Conjuntos, funciones y relaciones
- 13:09 7 feb 2019 (dif | hist) . . (+6878) . . N Definiciones inductivas
- 13:08 7 feb 2019 (dif | hist) . . (+1) . . Razonamiento sobre árboles y bosques
- 13:07 7 feb 2019 (dif | hist) . . (+8442) . . N Razonamiento sobre árboles y bosques
- 13:06 7 feb 2019 (dif | hist) . . (-6217) . . Razonamiento por casos y por inducci¢n
- 13:05 7 feb 2019 (dif | hist) . . (+23 833) . . N Razonamiento por casos y por inducci¢n
- 13:04 7 feb 2019 (dif | hist) . . (+23 833) . . N Razonamiento sobre programas en Isabelle/HOL
- 13:02 7 feb 2019 (dif | hist) . . (+9099) . . N Programación funcional en Isabelle/HOL
- 13:01 7 feb 2019 (dif | hist) . . (+120) . . Temas
- 12:59 7 feb 2019 (dif | hist) . . (+16 659) . . N Tema 4a
- 12:57 7 feb 2019 (dif | hist) . . (-36) . . Deducción natural proposicional con Isabelle/HOL
- 12:56 7 feb 2019 (dif | hist) . . (+25 608) . . N Deducción natural proposicional con Isabelle/HOL
- 12:45 7 feb 2019 (dif | hist) . . (+1210) . . N Temas
- 12:23 7 feb 2019 (dif | hist) . . (-1) . . Página principal
- 12:22 7 feb 2019 (dif | hist) . . (+1) . . Página principal
- 12:21 7 feb 2019 (dif | hist) . . (+151) . . N MediaWiki:Sidebar
- 12:20 7 feb 2019 (dif | hist) . . (+16) . . Página principal
- 12:19 7 feb 2019 (dif | hist) . . (-468) . . Página principal
- 12:06 7 feb 2019 (dif | hist) . . (+145) . . N MediaWiki:Common.css (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).