Diferencia entre revisiones de «Lecturas del año 2010»

Revisión actual del 06:33 28 abr 2013

@@ Línea 1: / Línea 1: @@
 == Lecturas de Noviembre de 2010 ==
 * [http://goo.gl/Mpz03 Ejercicios de programación en Haskell] #Haskell #V
-* [http://goo.gl/0FwrK El valor del fracaso digno] #CM
-* [http://goo.gl/aWC1 Computational science: ...Error (... why scientific programming does not compute)] #Verificación
 * [http://goo.gl/5mUCh El tipo abstracto de datos de las pilas en Haskell] #Haskell #V
-* [http://goo.gl/rwY3S The free-form linguistics revolution in mathematica].
-* [http://goo.gl/3hNgt A preliminary survey on functional programming] #PF
 * [http://goo.gl/HDZyb Desarrollo del comando wc de Unix en Haskell] #Haskell #V
@@ Línea 12: / Línea 8: @@
 * [http://goo.gl/V7Sud Problema sobre números naturales] #Haskell #V
 * [http://goo.gl/PkVYW Rompecabeza de Ullman en Haskell] #Haskell #V
-* [http://goo.gl/hWPRa Lisp bot wins Google AI challenge — Will Lisp win in the semantic web, too?] #Lisp #IA
-* [http://goo.gl/NRnls Decálogo de la didáctica matemática] #Enseñanza #V
-* [http://goo.gl/b9gFY El decálogo del profesor (según Polya)] #Enseñanza #V
 * [http://goo.gl/CnWj0 Proceedings workshop on partiality and recursion in interactive theorem provers.] #Libro #AR
-* [http://goo.gl/87Z9o Parallelizing a CLIPS-based course timetabling expert system] #SE
 * [http://goo.gl/s4etS Certifying compilers using higher-order theorem provers as certificate checkers] #Verificación #V
 * [http://goo.gl/wo8BN Teorías y aplicaciones] #V