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 Reasoning

AAutomated Reasoning

Número de Cutter-SanbornP393aEntrada «Pelt» → 393 · marca de obra “a”

Automated Reasoning

de Nicolas Peltier, Viorica Sofronie-Stokkermans

Materias

Artificial intelligence
Computer programming
Computer software, development
Logic, symbolic and mathematical

Ediciones (2)

Automated Reasoning (2020)
Springer · inglés · ISBN 9783030510534
Automated Reasoning (2020)
Springer · inglés · ISBN 9783030510732

Más obras de Nicolas Peltier

Automated Reasoning — Nicolas Peltier, Viorica Sofronie-Stokkermans | Cutter Number

Tapa de Automated Model Building

Automated Model Building

Ver todas las obras de Nicolas Peltier →