Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, ... 4246 (Lecture Notes in Computer Science)

by Andrei Voronkov (Author), Andrei Voronkov (Author), Miki Hermann (Author)

$127.26

Save:$11.31 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 612
Edition: 2006
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540482814
ISBN 13: 9783540482819