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
CC and its meta theory

CCC and its meta theory

Número de Cutter-SanbornL964cEntrada «Lunt» → 964 · marca de obra “c”

CC and its meta theory

Ediciones (1)

CC and its meta theory. (1988)
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de Zhaohui Luo

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

CC and its meta theory — Zhaohui Luo | Cutter Number

F

Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

Tapa de Computation and reasoning

Computation and reasoning

DDong fang fo jiao wen hua

Dong fang fo jiao wen hua

Ver todas las obras de Zhaohui Luo →