Frank Pfenning Logic Programming and Automated Reasoning (Paperback) (UK IMPORT)

Logic Programming and Nonmonotonic Reasoning : 5th International Conference, ...

Logic Programming and Automated Reasoning : 5th International Conference, Lpa...

Logic Programming and Nonmonotonic Reasoning : 5th International Conference, ...

Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, Chin

Logic Programming and Automated Reasoning : 6th International Conference, Lpa...

Logic Programming and Automated Reasoning : International Conference Lpar '92...

Logic Programming and Automated Reasoning : 6th International Conference, Lpa...