Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2026
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2024