Temas
De Razonamiento automático (2017-18)
Revisión del 12:10 1 nov 2017 de Jalonso (discusión | contribuciones)
Temas de Razonamiento automático (2017-18)
En esta página se irán publicando los temas conforme se vayan estudiando.
- Tema 1: Programación funcional en Isabelle.
- Tema 2: Razonamiento sobre programas: