Product Description
ISBN: 9783642287169
TITLE: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings : 7180
AUTHOR: Nikolaj Bj????rner
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 24 Feb 2012