Logic for Programming, Artificial Intelligence, and Reasoning: 18th Inteational Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, .. Computer Science and General Issues)
Hardcover: 450 pages
Publisher: Springer (March 21, 2012)
Language: English
ISBN-10: 3642287166