Contribuciones del usuario
- 12:47 27 feb 2020 (dif | hist) . . (-57) . . MediaWiki:Sidebar (edición actual)
- 12:44 27 feb 2020 (dif | hist) . . (0) . . Seminario de Lógica y Computación (→Seminario del 4 de marzo de 2020)
- 12:44 27 feb 2020 (dif | hist) . . (+718) . . Seminario de Lógica y Computación
- 12:40 27 feb 2020 (dif | hist) . . (+130) . . N Seminario de Lógica y Computación (Página creada con « == Sesiones anteriores == Las sesiones de años anteriores se encuentran aquí.»)
- 12:38 27 feb 2020 (dif | hist) . . (+48) . . MediaWiki:Sidebar
- 09:49 30 oct 2008 (dif | hist) . . (-81) . . Computational Logic Group
- 09:48 30 oct 2008 (dif | hist) . . (+81) . . Computational Logic Group
- 10:26 27 oct 2008 (dif | hist) . . (-2) . . Lecturas
- 09:16 24 oct 2008 (dif | hist) . . (+17) . . MediaWiki:Sidebar
- 08:35 22 oct 2008 (dif | hist) . . (+21) . . MediaWiki:Sidebar
- 18:32 19 oct 2008 (dif | hist) . . (+29) . . MediaWiki:Sidebar
- 07:21 25 abr 2008 (dif | hist) . . (+56) . . MediaWiki:Sidebar
- 18:39 16 abr 2008 (dif | hist) . . (+13) . . MediaWiki:Sidebar
- 18:39 16 abr 2008 (dif | hist) . . (-9) . . MediaWiki:Sidebar
- 18:38 16 abr 2008 (dif | hist) . . (+9) . . MediaWiki:Sidebar
- 18:37 16 abr 2008 (dif | hist) . . (+9) . . MediaWiki:Sidebar
- 18:37 16 abr 2008 (dif | hist) . . (-7) . . MediaWiki:Sidebar
- 18:36 16 abr 2008 (dif | hist) . . (-13) . . MediaWiki:Sidebar
- 08:24 16 abr 2008 (dif | hist) . . (-1) . . MediaWiki:Sidebar
- 07:59 16 abr 2008 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 07:58 16 abr 2008 (dif | hist) . . (-4) . . MediaWiki:Sidebar
- 07:54 16 abr 2008 (dif | hist) . . (+25) . . N MediaWiki:Mainpage (New page: Computational Logic Group) (edición actual)
- 21:35 15 abr 2008 (dif | hist) . . (-107) . . Theories (→Theories)
- 21:29 15 abr 2008 (dif | hist) . . (+855) . . N Theories (New page: == Theories == * [http://www.cs.us.es/~jruiz/acl2-rewr/ Formalizing equational reasoning and rewriting (using ACL2)] * [http://www.cs.us.es/~jruiz/acl2-mul/ Multiset relations: a tool for ...)
- 21:26 15 abr 2008 (dif | hist) . . (+248) . . Related courses
- 21:21 15 abr 2008 (dif | hist) . . (-129) . . Related courses
- 21:20 15 abr 2008 (dif | hist) . . (+681) . . N Related courses (New page: * PhD studies: Logic, computation and artificial intelligence o Automated Reasoning o Synthesis, verification and reasoning on agents o Automatic learnin...)
- 21:18 15 abr 2008 (dif | hist) . . (-30) . . Publications (→Publicaciones en Revistas)
- 21:18 15 abr 2008 (dif | hist) . . (-3889) . . Publications
- 20:43 15 abr 2008 (dif | hist) . . (+39) . . N Plantilla:Jruiz (New page: [http://www.cs.us.es/~jruiz/ J.L. Ruiz])
- 20:43 15 abr 2008 (dif | hist) . . (+44) . . N Plantilla:Fmartin (New page: [http://www.cs.us.es/~fmartin/ F.J. Martín])
- 20:42 15 abr 2008 (dif | hist) . . (+43) . . N Plantilla:Mjoseh (New page: [http://www.cs.us.es/~mjoseh/ M.J. Hidalgo])
- 20:41 15 abr 2008 (dif | hist) . . (+42) . . N Plantilla:Tchavez (New page: [http://www.cs.us.es/~tchavez/ A. Chávez])
- 20:41 15 abr 2008 (dif | hist) . . (+42) . . N Plantilla:Jborrego (New page: [http://www.cs.us.es/~joaquin/ J, Borrego])
- 20:40 15 abr 2008 (dif | hist) . . (-4) . . Plantilla:Jalonso
- 20:39 15 abr 2008 (dif | hist) . . (-1328) . . Publications
- 20:38 15 abr 2008 (dif | hist) . . (-16) . . Publications (→Libros)
- 20:32 15 abr 2008 (dif | hist) . . (+46) . . N Plantilla:Jalonso (New page: [http://www.cs.us.es/~jalonso José A. Alonso])
- 20:29 15 abr 2008 (dif | hist) . . (-798) . . Publications (→Libros)
- 20:21 15 abr 2008 (dif | hist) . . (+29 627) . . N Publications (New page: == Libros == Jose Antonio Alonso Jimenez, Joaquin Borrego Diaz: ''Agentes Inteligentes: una Aproximación desde la Lógica Computacional''. Sevilla, España. Editorial Kronos. 2002. 127. I...)
- 20:08 15 abr 2008 (dif | hist) . . (+1) . . Projects
- 20:07 15 abr 2008 (dif | hist) . . (+1719) . . N Projects (New page: * 2004-08 Sistemas verificados para el razonamiento en la web semántica. (MEC TIN2004-038844). *: Directed by José A. Alonso Jiménez. * 2003-06 Development and verification of Intelli...)
- 20:03 15 abr 2008 (dif | hist) . . (+99) . . MediaWiki:Sidebar
- 20:01 15 abr 2008 (dif | hist) . . (+25) . . MediaWiki:Sidebar
- 20:00 15 abr 2008 (dif | hist) . . (+68) . . N MediaWiki:Sidebar (New page: * navigation ** mainpage|mainpage ** recentchanges-url|recentchanges)