by Christian G. Fermüller (Editor), Andrei Voronkov (Editor)
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.
Number of Pages: 656
Dimensions: 1 x 9.3 x 6.1 IN
Illustrated: Yes
Publication Date: September 27, 2010
