Historial de revisiones de «DAO2012 (Demostración asistida por ordenador)» - Demostración asistida por ordenador (2012-13)

Selección de diferencias: marca las casillas correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

(act | ant) 22:29 23 nov 2012‎ Jalonso (discusión | contribuciones)‎ . . (651 bytes) (+45)‎ . . (→‎Material para el curso)
(act | ant) 19:44 20 nov 2012‎ Jalonso (discusión | contribuciones)‎ m . . (606 bytes) (0)‎ . . (Protegió «DAO2012 (Demostración asistida por ordenador)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
(act | ant) 18:35 20 nov 2012‎ Jalonso (discusión | contribuciones)‎ . . (606 bytes) (-186)‎ . . (→‎Material para el curso)
(act | ant) 18:33 20 nov 2012‎ Jalonso (discusión | contribuciones)‎ . . (792 bytes) (+792)‎ . . (Página creada con '== Demostración asistida por ordenador == Este seminario es una introducción a la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/...')