jose-a-alonso documents channel
Avatar
All Documents
Tema 12: Analizadores sintácticos funcionales.

Tema 12: Analizadores sintácticos funcionales.

Category: Education
Released: July 22, 2015
I1M2010-T20: El tipo abstracto de los montículos en Haskell

I1M2010-T20: El tipo abstracto de los montículos en Haskell

Category: Education
Released: July 18, 2015
LMF-T2: Deducción natural proposicional

LMF-T2: Deducción natural proposicional

Category: Education
Released: July 18, 2015
Panorama de la demostración asistida por ordenador

Panorama de la demostración asistida por ordenador

Category: Education
Released: July 18, 2015
LI2011-T2: Deducción natural en lógica proposicional

LI2011-T2: Deducción natural en lógica proposicional

Category: Education
Released: July 18, 2015
I1M-T21: El TAD de los polinomios en Haskell

I1M-T21: El TAD de los polinomios en Haskell

Category: Education
Released: July 18, 2015
Tema 8: Razonamiento sobre programas Haskell.

Tema 8: Razonamiento sobre programas Haskell.

Category: Education
Released: July 18, 2015
I1M2010-T15: El tipo abstracto de datos de las colas en Haskell

I1M2010-T15: El tipo abstracto de datos de las colas en Haskell

Category: Education
Released: July 18, 2015
LMF-T6: Sintaxis y semántica de la lógica de primer orden

LMF-T6: Sintaxis y semántica de la lógica de primer orden

Category: Education
Released: July 18, 2015
I1M2010-T16: El tipo abstracto de las colas de prioridad en Haskell

I1M2010-T16: El tipo abstracto de las colas de prioridad en Haskell

Category: Education
Released: July 18, 2015
I1M2010-T24: Programación dinámica en Haskell

I1M2010-T24: Programación dinámica en Haskell

Category: Education
Released: July 18, 2015
LI -T5: Resolución proposicional

LI -T5: Resolución proposicional

Category: Documents
Released: July 18, 2015