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
The computer modelling of mathematical reasoning

TThe computer modelling of mathematical reasoning

Número de Cutter-SanbornB942cEntrada «Bun» → 942 · marca de obra “c”

The computer modelling of mathematical reasoning

Materias

Mathematics
Symbolic and mathematical Logic
Data processing
Automatic theorem proving

Ediciones (1)

The computer modelling of mathematical reasoning (1983)
Academic Press

Más obras de Alan Bundy

Tapa de Artificial intelligence : an introductory course

Artificial intelligence : an introductory course

Tapa de Rob Milne

Rob Milne

AAustralian and New Zealand information literacy framework

Australian and New Zealand information literacy framework

The computer modelling of mathematical reasoning — Alan Bundy | Cutter Number

Tapa de Eco-logic

Eco-logic

DDirectory of Australian academic and research libraries

Directory of Australian academic and research libraries

Tapa de Artificial Intelligence Techniques

Artificial Intelligence Techniques

Ver todas las obras de Alan Bundy →