Diferencia entre revisiones de «Temas»
De DAO (Demostración asistida por ordenador)
(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...') |
(Sin diferencias)
|