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
Termination of rewriting

TTermination of rewriting

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

Termination of rewriting

de Nachum Dershowitz · Publicada por primera vez en 1985

Materias

Rewriting systems (Computer science)
Ordered sets
Automatic theorem proving

Ediciones (1)

Termination of rewriting (1985)
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

Termination of rewriting — 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 →