cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

Número de Cutter-SanbornE34hEntrada «Ei» → 34 · marca de obra “h”

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

de Jan van Eijck

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

Materias

functional programming
haskell
mathematics
logic
mathematical reasoning
mathematical proofs
Logic programming
Logica
Symbolic and mathematical Logic

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.) — Jan van Eijck | Cutter Number

Haskell (programmeertaal)

Wiskunde

Functionele programmering

Ediciones (1)

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.) (2004)
King's College Publications · inglés · ISBN 9780954300692

Más obras de Jan van Eijck

The Haskell Road To Logic, Maths And Programming (Texts in Computing S.)

Materias

Ediciones (1)

Más obras de Jan van Eijck

Games Actions And Social Software

Computational Semantics with Functional Programming

Liber Amicorum Alberti. A Tribute to Albert Visser