期刊详情
Logical Methods In Computer Science
立即访问
语言：
英文
所在数据库：
Logical Methods In Computer Science
更新时间：
2026-03-30 15:53:15
期刊详情
Logical Methods In Computer Science 开放获取顶级期刊，聚焦计算机科学的逻辑基础，发表关于形式化方法、程序验证、类型论、并发理论及自动推理的前沿研究。