logo
Semantics and model theory

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

Advances in Modal Logic (AiML)

Rank: BOffline
Amsterdam, The Netherlands
Jun 29, 2026 - Jul 3, 2026
Proof theoryautomated deductiondescription logics+8 بیشتر