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-SanbornH713tEntrada «Hofm» → 713 · marca de obra “t”

Typed Lambda Calculi and Applications

de Martin Hofmann

Ediciones (1)

Typed Lambda Calculi and Applications (2003)
Springer London, Limited · inglés · ISBN 9783540449041

Más obras de Martin Hofmann

Tapa de Siegfried Kracauer

Siegfried Kracauer

1997

Tapa de Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Tapa de Automatentheorie und Logik

Automatentheorie und Logik

Tapa de Extensional Constructs in Intensional Type Theory

Typed Lambda Calculi and Applications — Martin Hofmann | Cutter Number

Extensional Constructs in Intensional Type Theory

Tapa de Konzeption eines Prozeßinformations- und -managementsystems

Konzeption eines Prozeßinformations- und -managementsystems

PPowerful Arguments

Powerful Arguments

Ver todas las obras de Martin Hofmann →