The top documents of jose-a-alonso
LMF-T3: Tableros semánticos
714 views
Tema 6: Definiciones por recursión en Haskell
4.473 views
Tema 1: Introducción a la programación funcional
2.894 views
LI2011-T11: Resolución en lógica de primer orden
2.764 views
Tema 7: Funciones de orden superior en Haskell
2.571 views
LI2011-T3: Tableros semánticos proposicionales
1.185 views
LIT4: Formales normales conjuntivas y disyuntivas
10.834 views
LMF-T5b: Aplicaciones de la lógica proposicional
1.672 views
LI2011-T9: Formas normales de Skolem y cláusulas
2.002 views
I1M2011-T4: Definición de funciones en Haskell
4.021 views
Tema 3: Tipos y clases en Haskell
5.655 views
LI-T5b: Algoritmos para SAT. Aplicaciones
1.819 views
I1M2010-T22: Algoritmos sobre grafos en Haskell
3.665 views