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-11

Tapa de Automated Deduction - Cade-11

Número de Cutter-SanbornK17aEntrada «Kap» → 17 · marca de obra “a”

Automated Deduction - Cade-11

de Deepak Kapur

Ediciones (1)

Automated Deduction - Cade-11 (1992)
Springer · inglés · ISBN 9783540556022

Más obras de Deepak Kapur

Tapa de Symbolic and numerical computation for artificial intelligence

Symbolic and numerical computation for artificial intelligence

Tapa de Theoretical Aspects of Computing – ICTAC 2017

Theoretical Aspects of Computing – ICTAC 2017

Tapa de Geometric reasoning

Geometric reasoning

Automated Deduction - Cade-11 — Deepak Kapur | Cutter Number

A

Automated Reasoning

Automated Reasoning

DDependable Software Engineering : Theories, Tools, and Appli

Dependable Software Engineering : Theories, Tools, and Applications

CComputer Mathematics

Computer Mathematics

Ver todas las obras de Deepak Kapur →