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 Reasoning

Tapa de Automated Reasoning

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

Automated Reasoning

de Andrei Voronkov

Materias

Computer science

Ediciones (1)

Handbook of Automated Reasoning (2001)
The MIT Press · inglés · ISBN 9780262182218

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

Automated Reasoning — Andrei Voronkov | Cutter Number

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 →