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 - CADE-17

AAutomated Deduction - CADE-17

Número de Cutter-SanbornM478aEntrada «Mazzon» → 478 · marca de obra “a”

Automated Deduction - CADE-17

de David McAllester

Ediciones (2)

Automated Deduction - CADE-17 (2014)
Springer · ISBN 9783662176870
Automated Deduction - CADE-17 (2006)
Springer · inglés · ISBN 9783540451013

Más obras de David McAllester

Tapa de Logic for programming and automated reasoning

Logic for programming and automated reasoning

Ver todas las obras de David McAllester →

Automated Deduction - CADE-17 — David McAllester | Cutter Number