Barnes and Noble
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Unfortunately, this item is no longer available, but we found some similar items you might like.