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

Tapa de Typed Lambda Calculi and Applications

Número de Cutter-SanbornO58tEntrada «On» → 58 · marca de obra “t”

Typed Lambda Calculi and Applications

Materias

Logic design
Symbolic and mathematical Logic
Computer science
Data processing
Algebra
Electronic data processing
Lambda calculus
Congresses
Logic, symbolic and mathematical
Mathematical Logic and Foundations

Typed Lambda Calculi and Applications — Luke Ong | Cutter Number

Computing Methodologies

Symbolic and Algebraic Manipulation

Ediciones (2)

Typed Lambda Calculi and Applications (2011)
Springer · ISBN 9783642216923
Typed Lambda Calculi and Applications (2011)
Springer-Verlag GmbH Berlin Heidelberg · inglés · ISBN 9783642216909

Más obras de Luke Ong

Tapa de Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Tapa de Logic, Language, Information and Computation

Logic, Language, Information and Computation

Tapa de Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Tapa de Formal Methods and Software Engineering

Formal Methods and Software Engineering

Tapa de Computer Science Logic

Computer Science Logic

Ver todas las obras de Luke Ong →