Systematic Program Design More Books by Yanhong Annie Liu

Logic Programming and Nonmonotonic Reasoning

2026

Practical Aspects of Declarative Languages

2020