NeFut
EN
管理员登录
检索
关联标签：
#Higher-Order Logic
(1 篇匹配)
清除过滤 ✖
2026-07-15 22:00
[AI学术] 首次实现的模态逻辑在HOL中的深浅嵌入与自动化验证
#Logic
#Higher-Order Logic
#Modal Logic
