Diferencia entre revisiones de «Trabajos»
De Demostración automática de teoremas (2014-15)
(Página creada con '== Trabajos propuestos == En esta sección se publicarán los trabajos propuestos en la asignatura. * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_insercion.thy '''T1_1...') |
(Sin diferencias)
|