Temas
De Razonamiento automático (2013-14)
Revisión del 08:30 14 nov 2013 de Jalonso (discusión | contribuciones) (→Temas de Razonamiento automático (2013-14))
Temas de Razonamiento automático (2013-14)
- Tema 1: Programación funcional en Isabelle.
- Tema 2a: Razonamiento sobre programas Haskell
- [Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL].