期刊详情
ACM Transactions On Computational Logic
立即访问
语言：
英文
所在数据库：
Association For Computing Machinery
更新时间：
2026-03-02 16:25:08
期刊详情
聚焦数理逻辑在计算机科学中的应用，涵盖自动推理、程序验证、逻辑编程、类型论、模态逻辑等领域。