Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

by Andrei Voronkov (Editor), Andrei Voronkov (Editor), Aart Middeldorp (Editor), Ken McMillan (Editor)

$107.90

Save:$8.83 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 808
Edition: 2013
Publisher: Springer
Published: 02 Dec 2013

ISBN 10: 3642452205
ISBN 13: 9783642452208