• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

荷兰
投稿预审
Journal of Automated Reasoning 中科院3区 JCR:Q4 SCIE EI PubMed JST
发文量 1,516
被引量 32,011
影响因子(2025版) 0.373

The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof.

  • 主办单位： SPRINGER
  • 出版地区： DORDRECHT
  • 出版周期： 双月刊
  • 别名： J AUTOM REASONING;J. Autom. Reasoning;JOURNAL OF AUTOMATED REASONING;自动推理杂志
  • 国际标准连续出版物号/电子版： ISSN 0168-7433 / EISSN 1573-0670
  • 创刊时间： 1985年
热门主题：

微积分学集合理论自动定理证明定理机器证明自动化推理类型理论定理证明器原理验证推理规则总数可满足性求解器研究型题目单一法典化机器定理证明源程序验证形式化校验模态逻辑学交互式定理证明分辨率语义学一阶逻辑

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
  • 7
目录
封面
2026年2期

2026年2期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号