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
Equational programming

EEquational programming

Número de Cutter-SanbornD438eEntrada «Derr» → 438 · marca de obra “e”

Equational programming

de Nachum Dershowitz · Publicada por primera vez en 1986

Materias

Logic programming
Functional programming languages

Ediciones (1)

Equational programming (1986)
Dept. of Computer Science, University of Illinois at Urbana-Champaign · inglés

Más obras de Nachum Dershowitz

Tapa de Fields of logic and computation

Fields of logic and computation

Tapa de Pillars of computer science

Pillars of computer science

Verification

Equational programming — Nachum Dershowitz | Cutter Number

Tapa de Evolution of Programmes (Progress in Computer Science)

Evolution of Programmes (Progress in Computer Science)

Tapa de Language, Culture, Computation : Computational Linguistics and Linguistics

Language, Culture, Computation : Computational Linguistics and Linguistics

VVerification : Theory and Practice

Verification : Theory and Practice

Ver todas las obras de Nachum Dershowitz →