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 Ken McMillan,Aart Middeldorp,Andrei Voronkov
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 Ken McMillan,Aart Middeldorp,Andrei Voronkov
ISBN 13: 9783642452208
Format: Paperback
(808 pages)
Publisher: Springer
Published: 02 Dec 2013
Save for later
New : $107.90
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
