Contribuciones del usuario
- 14:45 31 oct 2019 difs. hist. +92 Tema 1: Programación funcional en Isabelle última
- 14:44 31 oct 2019 difs. hist. +24 R1 última
- 11:15 28 oct 2019 difs. hist. 0 Documentación →Visiones generales de la DAO
- 11:15 28 oct 2019 difs. hist. +2972 Documentación →Visiones generales de la DAO
- 11:49 27 oct 2019 difs. hist. +178 Documentación →Referencias sobre Isabelle/HOL
- 11:46 27 oct 2019 difs. hist. +136 Documentación →Referencias sobre Isabelle/HOL
- 11:49 15 oct 2019 difs. hist. 0 m Sistemas Protegió «Sistemas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:49 15 oct 2019 difs. hist. +913 N Sistemas Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso == Asistentes de demostración == * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.…»
- 11:48 15 oct 2019 difs. hist. 0 m Documentación Protegió «Documentación» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:47 15 oct 2019 difs. hist. +12 740 N Documentación Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Vídeos == * Vídeos de deducción natural con Pandora: [http…»
- 11:46 15 oct 2019 difs. hist. 0 m Ejercicios Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:46 15 oct 2019 difs. hist. 0 m Temas Protegió «Temas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:45 15 oct 2019 difs. hist. 0 m Tema 1: Programación funcional en Isabelle Protegió «Tema 1: Programación funcional en Isabelle» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:45 15 oct 2019 difs. hist. 0 m Razonamiento automático (2019-20) Protegió «Razonamiento automático (2019-20)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 11:45 15 oct 2019 difs. hist. 0 m R1 Protegió «R1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:44 15 oct 2019 difs. hist. +5176 N R1 Página creada con «<source lang="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…»
- 11:44 15 oct 2019 difs. hist. +1081 N Ejercicios Página creada con «En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas…»
- 11:42 15 oct 2019 difs. hist. +9099 N Tema 1: Programación funcional en Isabelle Página creada con «<source lang="isabelle"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducci…»
- 11:41 15 oct 2019 difs. hist. +2622 N Temas Página creada con «En esta página se irán publicando los temas conforme se vayan estudiando. == RA con Isabelle/HOL == * Tema 1: Programación funcional en Isabelle. <!-- * Tema 2: Raz…»
- 11:38 15 oct 2019 difs. hist. +601 N Razonamiento automático (2019-20) Página creada con «Este sitio contiene materiales del curso '''Razonamiento automático''' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial…»
- 11:37 15 oct 2019 difs. hist. +34 N MediaWiki:Mainpage Página creada con «Razonamiento automático (2019-20)» última
- 11:36 15 oct 2019 difs. hist. +362 N MediaWiki:Sidebar Página creada con «* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** Sistemas|Sistemas ** https://www.glc.us.es/~jalons…» última
- 11:32 15 oct 2019 difs. hist. +69 N MediaWiki:Common.css Página creada con «@import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");» última