Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by IlkkaNiemelä (Editor), VerónicaDahl (Editor)

Synopsis

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

$94.59

Quantity

10 in stock

More Information

Format: Paperback
Pages: 470
Publisher: Springer
Published: 28 Aug 2007

ISBN 10: 3540746080
ISBN 13: 9783540746089