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)

New
Paperback
2013
$111.37

$111.37

Save:$9.12 (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

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

New

$111.37

$111.37

More Information