ISBN 9783540201014 books & textbook

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)

Vardi, Moshe Voronkov, Andrei

Springer /2003-09-12 Paperback / 447 Pages
isbn-10: 3540201017 / isbn-13: 9783540201014