Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
LPAR‑20 Proceedings aus Suva zeigen, wie Logik und Programmierung KI voranbringen: Beiträge zur semantischen Analyse, formalen Modellen und automatisierten Entscheidungsfindung eröffnen neue Forschungsperspektiven.