CURRENTLY SOLD OUT

Logic for Programming, Artificial Intelligence , and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)