Temas - Razonamiento automático (2017-18)

Temas

De Razonamiento automático (2017-18)

Revisión del 07:43 26 oct 2017 de Jalonso (discusión | contribuciones)

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

Temas de Razonamiento automático (2017-18)

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

Tema 1: Programación funcional en Isabelle.

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