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

Tapa de The computer modelling of mathematical reasoning

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

The computer modelling of mathematical reasoning

de Alan Bundy · Publicada por primera vez en 1983

Materias

Automatic theorem proving
Data processing
Logic, Symbolic and mathematical
Mathematics
Symbolic and mathematical Logic
Artificial intelligence

Ediciones (1)

The computer modelling of mathematical reasoning (1983)
Academic Press · inglés

Más obras de Alan Bundy

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

Tapa de Artificial intelligence : an introductory course

Artificial intelligence : an introductory course

Tapa de Rob Milne

Rob Milne

TThe computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

AAustralian and New Zealand information literacy framework

Australian and New Zealand information literacy framework

Tapa de Eco-logic

Eco-logic

DDirectory of Australian academic and research libraries

Directory of Australian academic and research libraries

Ver todas las obras de Alan Bundy →