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
Mechanical theorem proving in the USSR

MMechanical theorem proving in the USSR

Número de Cutter-SanbornL722mEntrada «Liev» → 722 · marca de obra “m”

Mechanical theorem proving in the USSR

de Vladimir Lifschitz

Materias

Automatic theorem proving
Electronic digital computers

Ediciones (1)

Mechanical theorem proving in the USSR (1986)
Delphic Associates · inglés

Más obras de Vladimir Lifschitz

Tapa de Logic programming

Logic programming

AArtificial intelligence and mathematical theory of computati

Artificial intelligence and mathematical theory of computation

Tapa de Handbook of knowledge representation

Handbook of knowledge representation

Mechanical theorem proving in the USSR — Vladimir Lifschitz | Cutter Number

Tapa de Answer Set Programming

Answer Set Programming

Tapa de Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

LLogical Formalizations of Commonsense Reasoning

Logical Formalizations of Commonsense Reasoning

Ver todas las obras de Vladimir Lifschitz →