Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642287169
Price: 59.37 EUR
Availability: InStock

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Автор: Nikolaj Bj, Andrei Voronkov

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад в ограничено количество

Изпращаме след 13-18 дни

59.37 € 116.12 лв

This book constitutes the proceedings of the 18th International Conference on Logic for Programming,...

Информация за книгата

Автор

Nikolaj Bj, Andrei Voronkov

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

446

EAN

9783642287169

ISBN

3642287166

Enbook ID

01660691

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

647

Размери

155 x 235 x 30

Пълно описание

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.§The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също