Ejercicios

De Razonamiento automático (2019-20)

Revisión del 11:46 15 oct 2019 de Jalonso (discusión | contribs.) (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))

(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=14»