DAO (Demostración asistida por ordenador)

DAO (Demostración asistida por ordenador)

De DAO (Demostración asistida por ordenador)

Revisión del 20:23 25 feb 2013 de Jalonso (discusión | contribuciones) (Página creada con '== Demostración asistida por ordenador == Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/rese...')

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Demostración asistida por ordenador

Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema Isabelle/HOL).

Material para el curso

Temas: Teorías de los temas.
Ejercicios: Relaciones de ejercicios.
Documentación: Lecturas recomendadas.

Obtenido de «https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostración_asistida_por_ordenador)&oldid=5»