|
libcats.org
Главная →
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, ProceedingsLogic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, ProceedingsVerónica Dahl, Ilkka Niemelä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. Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Бизнес путь: Nokia. Секреты успеха самой быстроразвивающейся компании в миреМерриден ТреворКатегория: Деловая литература
451 Kb
#4
Основания стрельбы по самолетам из стрелкового оружияТихменев С. А.Категория: военное дело, военная наука
2.50 Mb
#5
Каталог деталей легкового автомобиля «Жигули» моделей ВАЗ-2101, ВАЗ-2102, ВАЗ-21011, ВАЗ-2103Волжский Автомобильный ЗаводКатегория: транспорт
7.92 Mb
#9
Каталог почтовых марок 1857-1991. Россия, РСФСР, СССРВ.Б. ЗагорскийКатегория: КНИГИ ХОББИ и РАЗВЛЕЧЕНИЯ
139.85 Mb
|
|