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
Computation and reasoning

Tapa de Computation and reasoning

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

Computation and reasoning

Materias

Computer science

Ediciones (1)

Computation and reasoning (1994)
Clarendon Press · 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

Computation and reasoning — Zhaohui Luo | Cutter Number

F

Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

CCC and its meta theory

CC and its meta theory

DDong fang fo jiao wen hua

Dong fang fo jiao wen hua

Ver todas las obras de Zhaohui Luo →