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

AA 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 · Publicada por primera vez en 1991

Materias

Automatic theorem proving

Ediciones (2)

Proof Theory for General Unification (2012)
Birkhäuser Boston · inglés · ISBN 9781461267584
A proof theory for general unification (1991)
Birkhäuser · inglés

Más obras de Wayne Snyder

Tapa de Sacred Rise

Sacred Rise

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

P

Professional Microsoft SQL Server 2008 Administration

Professional Microsoft SQL Server 2008 Administration

KKnight's Microsoft SQL Server 2012 Integration Services 24-H

Knight's Microsoft SQL Server 2012 Integration Services 24-Hour Trainer

Tapa de Lord Gaia

Lord Gaia

Tapa de River Gypsy - Volume 3

River Gypsy - Volume 3

Why I Fish

Ver todas las obras de Wayne Snyder →