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
Conditional term rewriting systems

Tapa de Conditional term rewriting systems

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

Conditional term rewriting systems

de Jean-Pierre Jouannaud

Materias

Rewriting systems (Computer science)
Congresses
Machine theory
Systèmes de réécriture (Informatique)
Théorie des automates
Congrès

Ediciones (1)

Conditional term rewriting systems (1988)
Springer-Verlag · inglés

Más obras de Jean-Pierre Jouannaud

Tapa de Algebra, meaning, and computation

Algebra, meaning, and computation

FFunctional programming languages and computer architecture

Functional programming languages and computer architecture

Tapa de Conditional Term Rewriting Systems

Conditional Term Rewriting Systems

Conditional term rewriting systems — Jean-Pierre Jouannaud | Cutter Number

CCertified Programs and Proofs

Certified Programs and Proofs

Tapa de Term rewriting

Term rewriting

1995

Tapa de Functional Programming Languages and Computer Architecture

Functional Programming Languages and Computer Architecture

Ver todas las obras de Jean-Pierre Jouannaud →