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 29

AAutomated Deduction - CADE 29

Número de Cutter-SanbornP614aEntrada «Pien» → 614 · marca de obra “a”

Automated Deduction - CADE 29

de Brigitte Pientka, Cesare Tinelli

Materias

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

Ediciones (1)

Automated Deduction - CADE 29 (2023)
Springer · inglés · ISBN 9783031384981

Automated Deduction - CADE 29 — Brigitte Pientka, Cesare Tinelli | Cutter Number