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
Automated Deduction

Tapa de Automated Deduction

Número de Cutter-SanbornN682aEntrada «Nieuw» → 682 · marca de obra “a”

Automated Deduction

de Robert Nieuwenhuis

Ediciones (1)

Automated Deduction (2008)
Springer · ISBN 9783540813552

Más obras de Robert Nieuwenhuis

Tapa de Automated Deduction CADE-20

Automated Deduction CADE-20

Tapa de Rewriting Techniques and Applications

Rewriting Techniques and Applications

Ver todas las obras de Robert Nieuwenhuis →

Automated Deduction — Robert Nieuwenhuis | Cutter Number