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 and proof theory

Tapa de Computational logic and proof theory

Número de Cutter-SanbornG686cEntrada «Gotti» → 686 · marca de obra “c”

Computational logic and proof theory

de Georg Gottlob

Materias

Symbolic and mathematical Logic
Theoremes
Theorie de la Preuve
Kunstmatige intelligentie
Logica
Congresses
Logique symbolique et mathematique
Automatic theorem proving
Congres
Demonstration automatique
Computer science
Artificial intelligence

Ediciones (1)

Computational Logic and Proof Theory (1993)
Springer · inglés · ISBN 9783540571841

Más obras de Georg Gottlob

Tapa de Big Data

Big Data

Tapa de Database theory

Database theory

Tapa de Expertensysteme

Expertensysteme

Tapa de Reasoning Web. Semantic Interoperability on the Web

Reasoning Web. Semantic Interoperability on the Web

Computational logic and proof theory — Georg Gottlob | Cutter Number

Tapa de Rule Technologies : Foundations, Tools, and Applications

Rule Technologies : Foundations, Tools, and Applications

Tapa de Datalog Reloaded

Datalog Reloaded

Ver todas las obras de Georg Gottlob →