Logic Programming: Formal Methods and Practical Applications (Studies in Computer Science and Artificial Intelligence) by Christoph Beierle | Menrva Books | MenrvaBooks
Logic Programming: Formal Methods and Practical Applications (Studies in Computer Science and Artificial Intelligence)