Cargando…
The Haskell road to logic, maths and programming
Autores principales: | Doets, Kees, Eijck, Van Jan |
---|---|
Lenguaje: | eng |
Publicado: |
King's Coll. Pub.
2004
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1207371 |
Ejemplares similares
-
The haskell road to logic, maths and programming /
por: Doets, H. C.
Publicado: (2012) -
Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004) -
Euclid in the rain forest: discovering universal truth in logic and math
por: Mazur, Joseph
Publicado: (2006) -
Good math
:
a geek's guide to the beauty of numbers, logic, and computation
por: Chu-Carroll, Mark C
Publicado: (2014) -
Math for the non-math lovers
por: Levine, David M, et al.
Publicado: (2013)