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
Types for Proofs and Programs

TTypes for Proofs and Programs

Número de Cutter-SanbornA466tEntrada «Alte» → 466 · marca de obra “t”

Types for Proofs and Programs

de Thorsten Altenkirch, Conor McBride

Materias

Automatic theorem proving
Computer programming
Logic, symbolic and mathematical

Ediciones (2)

Types for Proofs and Programs (2007)
Springer London, Limited · inglés · ISBN 9783540744641
Types for Proofs and Programs (2003)
Springer London, Limited · inglés · ISBN 9783540481676

Más obras de Thorsten Altenkirch

Types for Proofs and Programs — Thorsten Altenkirch, Conor McBride | Cutter Number

Tapa de Conceptual Programming with Python

Conceptual Programming with Python

Ver todas las obras de Thorsten Altenkirch →