ISBN 9783642452208 books & textbook
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Computer Science and General Issues)
McMillan, Ken Middeldorp, Aart Voronkov, Andrei
Springer /2013-12-02 Paperback / 808 Pages
isbn-10: 3642452205 / isbn-13: 9783642452208
