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: 9783540429579
Price: 105.5 EUR
Availability: InStock

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Автор: Robert Nieuwenhuis, Andrei Voronkov

Език:

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

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

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

Изпращаме след 5-8 дни

105.50 € 206.33 лв

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog...

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

Автор

Robert Nieuwenhuis, Andrei Voronkov

Език

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

Корици

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

Издадена

2001

страници

741

EAN

9783540429579

ISBN

3540429573

Enbook ID

01563961

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

2310

Размери

155 x 233 x 41

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

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

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

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

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

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