Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)
by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)
by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov
ISBN 13: 9783662488980
Format: Paperback
(656 pages)
Publisher: Springer
Published: 30 Dec 2015
Save for later
New : $94.01
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
