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
Typed Lambda Calculi and Applications

TTyped Lambda Calculi and Applications

Número de Cutter-SanbornD532tEntrada «Dez» → 532 · marca de obra “t”

Typed Lambda Calculi and Applications

de M. Dezani-Ciancaglini

Ediciones (1)

Typed Lambda Calculi and Applications (1995)
Springer · inglés · ISBN 9780387590486

Más obras de M. Dezani-Ciancaglini

Tapa de Automata, languages and programming

Automata, languages and programming

Tapa de International Symposium on Programming

International Symposium on Programming

TTheories of types and proofs

Theories of types and proofs

Ver todas las obras de M. Dezani-Ciancaglini →

Typed Lambda Calculi and Applications — M. Dezani-Ciancaglini | Cutter Number