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
What is unification?

WWhat is unification?

Número de Cutter-SanbornG613wEntrada «Gog» → 613 · marca de obra “w”

What is unification?

de Joseph Goguen · Publicada por primera vez en 1988

Materias

Numerical solutions
Categories (Mathematics)
Equations
Formal languages

Ediciones (1)

What is unification? (1988)
CSLI/SRI International · inglés

Más obras de Joseph Goguen

Tapa de Software engineering with OBJ

Software engineering with OBJ

Tapa de Algebra, meaning, and computation

Algebra, meaning, and computation

Tapa de Art and the brain II

Art and the brain II

Tapa de Algebraic semantics of imperative programs

What is unification? — Joseph Goguen | Cutter Number

Algebraic semantics of imperative programs

1996

Tapa de Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

1999

AA categorical manifesto

A categorical manifesto

1989

Ver todas las obras de Joseph Goguen →