الكتب الالكترونية

عدد الكتب: 1 - 4 /4
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

اقرأ المزيد
978-3-540-74610-2
Logic Programming

The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...

اقرأ المزيد
978-3-540-36636-2
Logic Programming (vol. # 4079)

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...

اقرأ المزيد
978-3-540-89982-2
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4