ISBN 3642287166 books & textbook
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, 7180)
Bjørner, Nikolaj Voronkov, Andrei
Springer /2012-02-24 Paperback / 457 Pages
isbn-10: 3642287166 / isbn-13: 9783642287169
