Temas
De DAO (Demostración asistida por ordenador)
Revisión del 20:42 25 feb 2013 de Jalonso (discusión | contribuciones) (Página creada con '== Temas de ''Demostración asistida por ordenador'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas. * [[Tema 3: Deducción nat...')