Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
LPAR 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6355)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6355)