|  |
 |
| Artikel-Nr.: 5667A-9783031849237 Herst.-Nr.: 9783031849237 EAN/GTIN: 9783031849237 |
| |
|
|  |  |
 | 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings Weitere Informationen:  |  | Author: | Esra Erdem; Germán Vidal | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Logic programming, Declarative programming, Constraints, Functional programming, Answer set programming, Type theory, Programming languages, Software engineering, Knowledge representation, Automated reasoning, Program semantics |
|  |  |
| |