Acciones

Temas

De Razonamiento automático (2015-16)

Revisión del 08:18 15 oct 2015 de WikiSysop (discusión | contribuciones) (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...')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)