This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001.
The 23 revised full papers presented were carefully reviewed and selected from 64 submissions. All current aspects of logic programming and computational logics are addressed.

Скачать книгу бесплатно (pdf, 3.51 Mb)

---

Читать «Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings »