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
Orderings for term-rewriting systems

Tapa de Orderings for term-rewriting systems

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

Orderings for term-rewriting systems

de Nachum Dershowitz

Materias

Computer programs
Recursive functions

Ediciones (1)

Orderings for term-rewriting systems (1979)
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

Orderings for term-rewriting systems — 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 →