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

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

by Andrei Voronkov (Author), Moshe Vardi (Author)

$100.78

Quantity

10 in stock

More Information

Format: Paperback
Pages: 452
Edition: 2003
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540201017
ISBN 13: 9783540201014