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
Geometric reasoning

Tapa de Geometric reasoning

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

Geometric reasoning

de Deepak Kapur, Joseph L. Mundy

Materias

Computer vision
Robotics
Congresses
Artificial intelligence
Automatic theorem proving
Logic machines

Ediciones (1)

Geometric reasoning (1989)
MIT Press · inglés

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

AAutomated Reasoning

Automated Reasoning

Geometric reasoning — Deepak Kapur, Joseph L. Mundy | Cutter Number

DDependable Software Engineering : Theories, Tools, and Appli

Dependable Software Engineering : Theories, Tools, and Applications

CComputer Mathematics

Computer Mathematics

Tapa de Automated Deduction - Cade-11

Automated Deduction - Cade-11

Ver todas las obras de Deepak Kapur →