LPAR
17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-17 Accepted Papers (without abstract).
LPAR-17 Accepted Papers (with abstract).
LPAR-17 Accepted Short Papers
Accepted Papers
Yogyakarta, Indonesia
October 10th - 15th, 2010