Product Description
ISBN: 9783540000105
TITLE: Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings : 2514
AUTHOR: Matthias Baaz
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 2 Oct 2002