2012 - Computation and Deduction (Hardcover) ISBN-13: 9780521772655 ISBN-10: 0521772656 Genres: Computers & Technology, Reference ? Logic Programming and Automated Reasoning 5th International Conference Lpar '94 Kiev Ukraine July 1622 1994 Proceedings [Lecture Notes in Computer Science] (Paperback) ISBN-13: 9780387582160 ISBN-10: 0387582169 Genre: Computers & Technology ? |