Plantilla:IDAO

De WikiGLC
Revisión del 10:41 27 abr 2008 de Jalonso (discusión | contribuciones) (New page: [http://www.cs.us.es/~jalonso/publicaciones/IDAO.pdf Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar)])
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

Introduccion a la demostracion asistida por ordenador (con Isabelle/Isar)

Obtenido de «https://www.glc.us.es/web/index.php?title=Plantilla:IDAO&oldid=72»