期刊详情
Journal Of Automated Reasoning
立即访问
语言：
英文
所在数据库：
Springer
更新时间：
2026-03-27 11:54:08
期刊详情
Journal of Automated Reasoning 致力于自动推理，发表关于定理证明、模型检测、逻辑编程、形式化验证及人工智能中推理算法的理论与应用研究。