Temas - Seminario de Lógica Computacional (2018)

Temas

De Seminario de Lógica Computacional (2018)

Revisión del 21:09 21 feb 2018 de WikiSysop (discusión | contribuciones) (→‎Temas de Seminario de lógica computacional (2018))

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

Temas de Seminario de lógica computacional (2018)

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

Introducción de B. Pierce a "Software foundations".

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