Название: Logic Programming. 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Автор: Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.)
Издательство: Springer
Год: 2007
Формат: pdf
Страниц: 472
Размер: 10 Mb
Язык: English

This book constitutes the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal, September 2007. The 22 revised full papers together with two invited talks as well as 15 poster presentations and the abstracts of five doctoral consortium articles were carefully reviewed and selected from 74 initial submissions. The papers cover all issues of current research in logic programming and are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

Скачать "Logic Programming. 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings"