Fehnker, Ansgar books & textbook
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)
Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei
Springer /2015-12-03 Paperback / 655 Pages
isbn-10: 3662488981 / isbn-13: 9783662488980
