This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007.
The 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 8-13, 2007.
The 22 revised full papers together with 2 invited talks as well as 15 poster presentations and the abstracts of 5 doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Lecture Notes in Computer Science, 4670 |
Release date | August 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Veronica Dahl, Ilkka Niemela |
Dimensions | 235 x 155 x 24mm (L x W x T) |
Format | Paperback |
Pages | 472 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-74608-9 |
Barcode | 9783540746089 |
Categories | |
LSN | 3-540-74608-0 |