Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 10:06 16 oct 2017 (dif | hist) . . (+1) . . Documentación (→Visiones generales de la DAO)
- 10:06 16 oct 2017 (dif | hist) . . (0) . . Documentación (→Visiones generales de la DAO)
- 10:05 16 oct 2017 (dif | hist) . . (+143) . . Documentación (→Visiones generales de la DAO)
- 18:39 14 oct 2017 (dif | hist) . . (+2) . . MediaWiki:Sidebar
- 08:39 9 sep 2017 (dif | hist) . . (+312) . . N Sistemas (Página creada con '== Sistemas utilizados en ''Razonamiento automático (2017-18)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk...')
- 08:38 9 sep 2017 (dif | hist) . . (+19 652) . . 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" == Visiones generales de la DAO == # J.A. Alonso. [http://goo.gl/NWk7...')
- 08:37 9 sep 2017 (dif | hist) . . (+250) . . N Ejercicios (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
- 08:37 9 sep 2017 (dif | hist) . . (+130) . . N Temas (Página creada con '== Temas de ''Razonamiento automático (2017-18)'' == En esta página se irán publicando los temas conforme se vayan estudiando.')
- 08:35 9 sep 2017 (dif | hist) . . (+689) . . N Razonamiento automático (2017-18) (Página creada con '== Razonamiento automático (2017-18) == Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Comp...')
- 08:34 9 sep 2017 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2017-18)') (edición actual)
- 08:33 9 sep 2017 (dif | hist) . . (+371) . . 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/ra2017|Diar...')