Search
Feedback
About UniCat 
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
ISBN: 3031248414 3031248406 Year: 2023 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
Book
ISBN: 3031157060 3031157079 Year: 2022 Publisher: Cham, Switzerland : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Reasoning
Book
ISBN: 9783031248412 Year: 2023 Publisher: Cham Springer Nature Switzerland :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9783031157073 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Reasoning
| Listing 1 - 4 of 4 |
Sort by
|