Practical Aspects of Declarative Languages
27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings
| ISBN: | 9783031849237 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Erdem, Esra Vidal, Germán |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 23.03.2025 |
| Untertitel: | 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings |
| Schlagworte: | Answer set programming Applied computing Computer Engineering and Networks Computer and Information Systems Applications Computerhardware Concurrency Constraints Functional programming Knowledge based Systems Programming Language Program semantics Program transformation Software Engineering Theoretische Informatik Theory of Computation Type theory Wissensbasierte Systeme, Expertensysteme angewandte informatik automated reasoning declarative programming knowledge representation logic programming programming languages program reasoning |
Anmelden