Diferencia entre revisiones de «Temas»
De Razonamiento automático (2016-17)
(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/~ja...') |
|||
| Línea 1: | Línea 1: | ||
| − | == Temas de ''Razonamiento automático ( | + | == Temas de ''Razonamiento automático (2016-17)'' == |
<!-- | <!-- | ||
* [[Tema 1: Programación funcional en Isabelle]]. | * [[Tema 1: Programación funcional en Isabelle]]. | ||