Listing 1 - 4 of 4 |
Sort by
|
Choose an application
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
Choose an application
Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Reasoning
Choose an application
Choose an application
Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Reasoning
Listing 1 - 4 of 4 |
Sort by
|