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

AAutomated Reasoning

Número de Cutter-SanbornD389aEntrada «Demp» → 389 · marca de obra “a”

Automated Reasoning

de Stéphane Demri, Deepak Kapur, Christoph Weidenbach

Materias

Artificial intelligence
Software engineering
Logic
Artificial Intelligence (incl. Robotics)
Computer science
Logic design
Electronic data processing
Mathematical Logic and Formal Languages

Automated Reasoning — Stéphane Demri, Deepak Kapur, Christoph Weidenbach | Cutter Number

Logics and Meanings of Programs

Mathematics of Computing

Numeric Computing

Ediciones (2)

Automated Reasoning (2014)
Springer · inglés · ISBN 9783319085876
Automated Reasoning (2014)
Springer International Publishing AG · inglés · ISBN 9783319085869

Más obras de Stéphane Demri

TTemporal Logics in Computer Science - Classical Theory

Temporal Logics in Computer Science - Classical Theory

TTemporal Logics in Computer Science

Temporal Logics in Computer Science

Ver todas las obras de Stéphane Demri →