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
Rewriting and Typed Lambda Calculi

RRewriting and Typed Lambda Calculi

Número de Cutter-SanbornD746rEntrada «Dowe» → 746 · marca de obra “r”

Rewriting and Typed Lambda Calculi

de Gilles Dowek

Materias

Logic, symbolic and mathematical
Computer science
Logic design
Algebra
Data processing
Electronic data processing
Symbolic and mathematical Logic
Mathematical Logic and Formal Languages
Mathematics of Computing
Logics and Meanings of Programs

Rewriting and Typed Lambda Calculi — Gilles Dowek | Cutter Number

Symbolic and Algebraic Manipulation

Computing Methodologies

Ediciones (2)

Rewriting and Typed Lambda Calculi (2014)
Springer International Publishing AG · inglés · ISBN 9783319089171
Rewriting and Typed Lambda Calculi (2014)
Springer London, Limited · inglés · ISBN 9783319089188

Más obras de Gilles Dowek

Tapa de Theorem proving in higher order logics

Theorem proving in higher order logics

Tapa de Les me tamorphoses du calcul

Les me tamorphoses du calcul

Tapa de Proofs and Algorithms

Proofs and Algorithms

Tapa de Le temps des algorithmes

Le temps des algorithmes

Tapa de Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Tapa de Computation, proof, machine

Computation, proof, machine

Ver todas las obras de Gilles Dowek →