Ejercicios

De Razonamiento automático (2019-20)

Revisión del 11:44 15 oct 2019 de Jalonso (discusión | contribs.) (Página creada con «En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas…»)

(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.

Relación 1: Programación funcional en Isabelle/HOL. (Enunciado y Solución colaborativa).

Obtenido de «https://www.glc.us.es/~jalonso/RA2019/index.php?title=Ejercicios&oldid=8»