¡Lo encontramos por ti!

La lógica de Programación, Inteligencia Artificial y Razonamiento: 16 Conferencia Internacional, LPAR-16, Dakar, Senegal, abril 25-mayo 1, 2010, Revisado los Trabajos Seleccionados

Más vistas

La lógica de Programación, Inteligencia Artificial y Razonamiento: 16 Conferencia Internacional, LPAR-16, Dakar, Senegal, abril 25-mayo 1, 2010, Revisado los Trabajos Seleccionados
COP 510600 In stock

Special Price 510.600 COP $

Disponibilidad: En existencias

Este libro constituye el fondo arbitradas post-actas de la conferencia de la 16ª Conferencia Internacional sobre la Lógica...
Este libro constituye el fondo arbitradas post-actas de la conferencia de la 16ª Conferencia Internacional sobre la Lógica de Programación, Inteligencia Artificial y Razonamiento, LPAR de 2010, que tuvo lugar en Dakar, Senegal, en abril/Mayo de 2010. El 27 revisada de los trabajos completos y 9 revisado corto documentos presentados junto con 1 invitado a hablar fueron cuidadosamente revisados y seleccionados de 47 propuestas. Los artículos abordan todos los temas de actualidad en la automatización de razonamiento, lógica computacional, lenguajes de programación y de acuerdo con la programación de la lógica, la lógica de programa basado en la manipulación, métodos formales, y de diversos tipos de IA logica. Temas tratados van desde aspectos teóricos para diversas aplicaciones tales como autómatas, aritmética lineal, la verificación, la representación del conocimiento, prueba de la teoría, cuantificado limitaciones, así como modal y temporal de la lógica.

2 Unidades disponibles en Estados Unidos.
Vendido por Ebay

Descripción

Detalles

Este libro constituye el fondo arbitradas post-actas de la conferencia de la 16ª Conferencia Internacional sobre la Lógica de Programación, Inteligencia Artificial y Razonamiento, LPAR de 2010, que tuvo lugar en Dakar, Senegal, en abril/Mayo de 2010. El 27 revisada de los trabajos completos y 9 revisado corto documentos presentados junto con 1 invitado a hablar fueron cuidadosamente revisados y seleccionados de 47 propuestas. Los artículos abordan todos los temas de actualidad en la automatización de razonamiento, lógica computacional, lenguajes de programación y de acuerdo con la programación de la lógica, la lógica de programa basado en la manipulación, métodos formales, y de diversos tipos de IA logica. Temas tratados van desde aspectos teóricos para diversas aplicaciones tales como autómatas, aritmética lineal, la verificación, la representación del conocimiento, prueba de la teoría, cuantificado limitaciones, así como modal y temporal de la lógica.
Información adicional

Información adicional

Nombre en Ingés Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25-may 1, 2010, Revised Selected Papers
Upc 15560312-w
Modelo No
Peso 1.7500
Edad N/A
Género No
Largo 15.875 cm
Ancho 24.13 cm
Alto 2.54 cm
Marca No
Color No

Etiqueta de Producto

Utiliza espacios para separar las etiquetas. Usa comillas simples (') para expresiones.

WhatsApp