Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings
Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004.
The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.
Kateqoriyalar:
İl:
2004
Nəşr:
1
Nəşriyyat:
Springer-Verlag Berlin Heidelberg
Dil:
english
Səhifələr:
484
ISBN 10:
3540226710
ISBN 13:
9783540226710
Seriyalar:
Lecture Notes in Computer Science 3132
Fayl:
PDF, 8.59 MB
IPFS:
,
english, 2004