9781439829622.pdf
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconve...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Taylor & Francis
2020
|
| Διαθέσιμο Online: | https://www.taylorfrancis.com/books/9780429094231 |
