-
LOGIC-IN
-
Forschung
-
Knowledge-Based Systems
Publikationen
Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I (pp. 167–187). Springer …