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...') |
(Sin diferencias)
|