Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:38 22 ago 2021 (dif | hist) . . (+4) . . m Relación 7 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 17:27 24 jul 2021 (dif | hist) . . (+4) . . m Misceláneas (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 17:21 24 jul 2021 (dif | hist) . . (+4) . . m Relación 6 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:51 16 jul 2018 (dif | hist) . . (+4) . . m Relación 5 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:51 16 jul 2018 (dif | hist) . . (+4) . . Rel 9 (edición actual)
- 09:51 16 jul 2018 (dif | hist) . . (+4) . . m Relación 2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:51 16 jul 2018 (dif | hist) . . (+4) . . Rel 7 (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . m Relación 1 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . Rel 6 (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . m Rel 11 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . m Relación 3 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . Rel 5 (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . Rel 4 (edición actual)
- 09:50 16 jul 2018 (dif | hist) . . (+4) . . m Relación 1a (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:49 16 jul 2018 (dif | hist) . . (+4) . . Rel 3 (edición actual)
- 09:49 16 jul 2018 (dif | hist) . . (+4) . . m Relación 11 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:49 16 jul 2018 (dif | hist) . . (+4) . . m Rel 8 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:49 16 jul 2018 (dif | hist) . . (+4) . . m Relación 9 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:49 16 jul 2018 (dif | hist) . . (+4) . . Rel 2 (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . Deducción natural en lógica de primer orden con Isabelle/Isar (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . m Relación 4 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . m Relación 10 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . Deducción natural en lógica proposicional con Isabelle/Isar (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . m Relación 8 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:48 16 jul 2018 (dif | hist) . . (+4) . . m Rel 1 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:47 16 jul 2018 (dif | hist) . . (+4) . . m Rel 10 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 09:42 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)
- 19:38 24 feb 2013 (dif | hist) . . (-38) . . MediaWiki:Sidebar (edición actual)
- 19:38 24 feb 2013 (dif | hist) . . (-10) . . MediaWiki:Sidebar
- 19:24 24 feb 2013 (dif | hist) . . (+1284) . . N Ejercicios de "Razonamiento automático (2011-12)" (Página creada con ' __NOTOC__ == Ejercicios de "Razonamiento automático" == === Ejemplos === * Deducción natural en lógica proposicional con Isabelle/Isar. * [[Deducción natural en lógic...') (edición actual)
- 09:23 11 feb 2012 (dif | hist) . . (-328) . . Rel 3
- 20:58 2 feb 2012 (dif | hist) . . (-10) . . MediaWiki:Mainpage (edición actual)
- 20:54 2 feb 2012 (dif | hist) . . (-10) . . MediaWiki:Sidebar
- 20:54 2 feb 2012 (dif | hist) . . (0) . . m Razonamiento automático (Razonamiento automático (2010-11) trasladada a Razonamiento automático) (edición actual)
- 20:54 2 feb 2012 (dif | hist) . . (+42) . . N Razonamiento automático (2010-11) (Razonamiento automático (2010-11) trasladada a Razonamiento automático) (edición actual)
- 20:44 2 feb 2012 (dif | hist) . . (+10) . . Razonamiento automático
- 20:43 2 feb 2012 (dif | hist) . . (+3) . . Razonamiento automático
- 20:43 2 feb 2012 (dif | hist) . . (-307) . . Razonamiento automático
- 11:38 24 mar 2011 (dif | hist) . . (+1) . . Relación 9
- 11:38 24 mar 2011 (dif | hist) . . (+92) . . Relación 9
- 07:26 15 mar 2011 (dif | hist) . . (+10 714) . . N Relación 11 (Página creada con '<source lang="isar"> header {* Razonamiento sobre programas en Isabelle *} theory Relacion_11 imports Main Efficient_Nat begin text {* ----------------------------------------...')
- 07:26 15 mar 2011 (dif | hist) . . (+10 714) . . N Rel 11 (Página creada con '<source lang="isar"> header {* Razonamiento sobre programas en Isabelle *} theory Relacion_11 imports Main Efficient_Nat begin text {* ----------------------------------------...')
- 07:25 15 mar 2011 (dif | hist) . . (+105) . . Razonamiento automático (→Ejercicios complementarios)
- 07:14 15 mar 2011 (dif | hist) . . (+3371) . . N Relación 10 (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...')
- 07:14 15 mar 2011 (dif | hist) . . (0) . . m Rel 10 (Protegió «Rel 10» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:13 15 mar 2011 (dif | hist) . . (+3) . . Rel 10
- 07:13 15 mar 2011 (dif | hist) . . (-3) . . Rel 10
- 07:11 15 mar 2011 (dif | hist) . . (+3371) . . N Rel 10 (Página creada con '<source lang="isar"> theory Relacion_10 imports Main begin section {* Deducción natural de primer orden *} text {* Los ejercicios de esta relación deben de resolverse usan...')
- 07:10 15 mar 2011 (dif | hist) . . (+122) . . Razonamiento automático (→Ejercicios complementarios)
- 22:57 14 mar 2011 (dif | hist) . . (+4265) . . N Relación 9 (Página creada con '<source lang="isar"> theory Relacion_9 imports Main begin section {* Deducción natural proposicional *} text {* Los ejercicios de esta relación deben de resolverse usando ...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).