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 Techniques and Applications

Tapa de Rewriting Techniques and Applications

Número de Cutter-SanbornJ86rEntrada «Jou» → 86 · marca de obra “r”

Rewriting Techniques and Applications

de Jean-Pierre Jouannaud

Materias

Réécriture
Algebraïsche logica
Algorithme
Informatique théorique
Logiciel
Congrès
Computer programming
Termersetzungssystem
Démonstration théorème
Bewijstheorie

Rewriting Techniques and Applications — Jean-Pierre Jouannaud | Cutter Number

Réécriture, Systèmes de (Informatique)

Ediciones (3)

Rewriting Techniques and Applications (1986)
Springer · inglés · ISBN 9780387159768
Rewriting techniques and applications (1985)
Springer-Verlag · inglés
Rewriting Techniques and Applications (1985)
Springer · inglés · ISBN 9783540159766

Más obras de Jean-Pierre Jouannaud

Tapa de Algebra, meaning, and computation

Algebra, meaning, and computation

Tapa de Conditional term rewriting systems

Conditional term rewriting systems

FFunctional programming languages and computer architecture

Functional programming languages and computer architecture

Tapa de Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

CCertified Programs and Proofs

Certified Programs and Proofs

Tapa de Term rewriting

Term rewriting

1995

Ver todas las obras de Jean-Pierre Jouannaud →