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
Automated Deduction - CADE-18

Tapa de Automated Deduction - CADE-18

Número de Cutter-SanbornV954aEntrada «Voro» → 954 · marca de obra “a”

Automated Deduction - CADE-18

de Andrei Voronkov

Materias

Congresses
Symbolic and mathematical Logic
Automatic theorem proving
Logic, symbolic and mathematical

Ediciones (2)

Automated Deduction - CADE-18 (2003)
Springer · inglés · ISBN 9783540456209
Automated Deduction - CADE-18 (2002)
Springer · inglés · ISBN 9783540439318

Más obras de Andrei Voronkov

Tapa de Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Tapa de Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

Tapa de Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Tapa de Logic for programming and automated reasoning

Logic for programming and automated reasoning

Tapa de Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Tapa de Perspectives of systems informatics

Perspectives of systems informatics

Ver todas las obras de Andrei Voronkov →

Automated Deduction - CADE-18 — Andrei Voronkov | Cutter Number