Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings: 2514 (Lecture Notes in Computer Science)

by Andrei Voronkov (Series Editor), Matthias Baaz (Editor)

$97.36

Quantity

10 in stock

More Information

Format: Paperback
Pages: 484
Edition: 2002
Publisher: Springer
Published: 22 Feb 2009

ISBN 10: 3540000100
ISBN 13: 9783540000105