3540429573 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > SHOW COVERS + ASIN Copies Robert Nieuwenhuis Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) 0 Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >