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
Formal methods in artificial intelligence

Tapa de Formal methods in artificial intelligence

Número de Cutter-SanbornR178fEntrada «Rams» → 178 · marca de obra “f”

Formal methods in artificial intelligence

de Allan Ramsay

Materias

Artificial intelligence
Methodology
Reasoning
Symbolic and mathematical Logic
Mathematische Logik
Formele logica
Raisonnement
Kunstmatige intelligentie
Methodologie
Methode
Kunstliche Intelligenz
Logique symbolique et mathematique

Ediciones (1)

Formal methods in artificial intelligence (1988)
Cambridge University Press · inglés

Más obras de Allan Ramsay

Tapa de Artificial Intelligence

Artificial Intelligence

Tapa de Computing Love

Computing Love

POP-11

Formal methods in artificial intelligence — Allan Ramsay | Cutter Number

A

Artificial Intelligence in Practice

Artificial Intelligence in Practice

Tapa de AI in practice

AI in practice

DDisjunction without tears

Disjunction without tears

Ver todas las obras de Allan Ramsay →