logo
Formal and operational semantics

نتایج کنفرانس‌ها (1)

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 بیشتر