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 for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

Tapa de Logic for Programming Artificial Intelligence and Reasoning

Lecture Notes in Artificial Intelligence

Número de Cutter-SanbornC597lEntrada «Clarke» → 597 · marca de obra “l”

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence

de Edmund M. Clarke

Materias

Logic design
Software engineering
Computer science
Artificial intelligence
Logic programming
Congresses
Automatic theorem proving

Ediciones (1)

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence (2011)
Springer · ISBN 9783642175107

Logic for Programming Artificial Intelligence and Reasoning | Cutter Number

Más obras de Edmund M. Clarke

Tapa de Handbook of Model Checking

Handbook of Model Checking

MModel Checking, Second Edition

Model Checking, Second Edition

Ver todas las obras de Edmund M. Clarke →