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
A proof theory for general unification

Tapa de A proof theory for general unification

Número de Cutter-SanbornS675pEntrada «Sny» → 675 · marca de obra “p”

A proof theory for general unification

de Wayne Snyder

Materias

Automatic theorem proving
Proof theory

Ediciones (1)

A proof theory for general unification (1991)
Birkhäuser · inglés

Más obras de Wayne Snyder

Tapa de Professional SQL server 2005 administration

Professional SQL server 2005 administration

Tapa de Hôtel des Mousquetaires

Hôtel des Mousquetaires

Ver todas las obras de Wayne Snyder →

A proof theory for general unification — Wayne Snyder | Cutter Number