Diferencia entre revisiones de «Temas»
De Razonamiento automático (2015-16)
(Página creada con '== Temas de ''Razonamiento automático (2014-15)'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas: ** [http://www.cs.us.es/~jalonso...') |
(Sin diferencias)
|
Revisión del 08:18 15 oct 2015
Temas de Razonamiento automático (2014-15)
- Tema 1: Programación funcional en Isabelle.
- Tema 2: Razonamiento sobre programas: