Buy Used and New David McAllester Books

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings: 1705 (Lecture Notes in Computer Science)

by Harald Ganzinger,Andrei Voronkov,David McAllester

ISBN 13: 9783540664925

Format: Paperback (416 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later