Temas

De Razonamiento automático (2019-20)

Revisión del 11:41 15 oct 2019 de Jalonso (discusión | contribs.) (Página creada con «En esta página se irán publicando los temas conforme se vayan estudiando. == RA con Isabelle/HOL == * Tema 1: Programación funcional en Isabelle. <!-- * Tema 2: Raz…»)

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

En esta página se irán publicando los temas conforme se vayan estudiando.

RA con Isabelle/HOL

Tema 1: Programación funcional en Isabelle.

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