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
Computational logic

Tapa de Computational logic

Número de Cutter-SanbornR662cEntrada «Robinson, J.» → 662 · marca de obra “c”

Computational logic

de J. A. Robinson, Jean-Louis Lassez

Materias

Logic programming
Automatic theorem proving

Ediciones (3)

Computational Logic (2013)
MIT Press · inglés · ISBN 9780262519304
Computational logic (1991)
MIT Press · inglés
Computational Logic (1991)
The MIT Press · inglés · ISBN 9780262121569

Más obras de J. A. Robinson

Tapa de Handbook of logic in artificial intelligence and logic programming

Computational logic — J. A. Robinson, Jean-Louis Lassez | Cutter Number

Handbook of logic in artificial intelligence and logic programming

Tapa de Natural and artificial parallel computation

Natural and artificial parallel computation

Tapa de Handbook of automated reasoning

Handbook of automated reasoning

FFortschritte der Chemie Organischer Naturstoffe / Progress i

Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products

HHandbook of Logic in Artificial Intelligence and Logic Progr

Handbook of Logic in Artificial Intelligence and Logic Programming Volume 5

AAn objective scrutiny of insurance

An objective scrutiny of insurance

Ver todas las obras de J. A. Robinson →