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
Autores con Z
Zhaohui Luo

Número de Cutter-SanbornL964Entrada de tabla «Lunt»

Zhaohui Luo

· 8 obras en el catálogo

Obras

Tapa de Types for proofs and programs

Types for proofs and programs

Tapa de Types for Proofs and Programs

Types for Proofs and Programs

Tapa de Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

FFormal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

CCC and its meta theory

CC and its meta theory

Tapa de Computation and reasoning

Computation and reasoning

DDong fang fo jiao wen hua

Dong fang fo jiao wen hua

AA higher-order calculus and theory abstraction

A higher-order calculus and theory abstraction

Zhaohui Luo — obras y número de Cutter | Cutter Number