The top documents of jose-a-alonso
Tema 10: Evaluación perezosa en Haskell
5.979 views
Tema 8: Razonamiento sobre programas Haskell
1.207 views
Panorama del razonamiento automático
366 views
I1M2010-T24: Programación dinámica en Haskell
1.096 views
I1M-T17: El TAD de los conjuntos
53 views
LMF-T5: Resolución proposicional
791 views
LI -T5: Resolución proposicional
723 views