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
Logic Programming and Automated Reasoning

Tapa de Logic Programming and Automated Reasoning

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

Logic Programming and Automated Reasoning

de Andrei Voronkov

Ediciones (2)

Logic Programming and Automated Reasoning (2007)
Springer · inglés · ISBN 9783540482420
Logic Programming and Automated Reasoning (1993)
Springer · inglés · ISBN 9780387569444

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

Logic Programming and Automated Reasoning — Andrei Voronkov | Cutter Number

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 →