网微信二维码

扫微信，关注编辑QQ！

认证信息

广告

大横幅

您的位置：网>>sci/e>>工程技术1>>计算机（人工智能）
您的位置：网>>ei外国期刊>>计算机科学>>人工智能
您的位置：网>>ei外国期刊>>计算机科学>>计算理论与数学
您的位置：网>>ei外国期刊>>计算机科学>>软件

Journal of Automated Reasoning《自动推理杂志》 （官网投稿）

简介
  • 期刊简称J AUTOM REASONING
  • 参考译名《自动推理杂志》
  • 核心类别SCIE核心, EI 外国期刊, 目次收录（维普）, 知网外文库,外文期刊,
  • IF影响因子
  • 自引率
  • 主要研究方向计算机科学-COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE计算机：人工智能。致力于探讨计算机逻辑推理的理论、实现与应用。研究主题涉及计算机科学、数学和哲学交叉领域，主要包括：自动定理证明器、形式化证明辅助工具及相关软件工具（如模型检验器）的开发与应用；支撑形式化证明发现与表达的逻辑体系设计及其证明系统理论性质研究；以及运用人工智能技术引导证明搜索等。展开更多

主要研究方向：

等待设置主要研究方向
计算机科学-COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE计算机：人工智能。致力于探讨计算机逻辑推理的理论、实现与应用。研究主题涉及计算机科学、数学和哲学交叉领域，主要包括：自动定理证明器、形式化证明辅助工具及相关软件工具（如模型检验器）的开发与应用；支撑形式化证明发现与表达的逻辑体系设计及其证明系统理论性质研究；以及运用人工智能技术引导证明搜索等。

Journal of Automated Reasoning《自动推理杂志》（季刊）. The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications& ...[显示全部]
给编辑部投稿--> 官网投稿 火热进行中

收藏本刊（1）

报刊点评

咨询编辑部

纠错、补充

认证信息

广告

期刊页面中间图片广告
征稿信息

万维提示：

1、投稿方式：在线投稿。

2、期刊网址：https://link.springer.com/journal/10817

3、投稿网址：

https://submission.nature.com/new-submission/10817/3

4、期刊刊期：季刊，逢季末月出版。

2025年12月12日星期五


赞 助 商 图 片

广告联系


投稿常见问题

如何查找适合自己投稿的刊物！

论文写作模板！

如何投稿—新手上路（有图）！

如何收藏刊物、并投稿？

如何注册网站？上传论文？

怎么知道文章是否被录用？

投稿失败注意事项！

邮件里的附言框都写些什么？

投稿介绍信模板！

非中介邮箱！


历史浏览

Journal of Automated Reasoning《自动推理杂志》

投稿问答最小化关闭

投稿有问题？问问网友吧！

·商业经济研究目前还会收以某个省数据为...0回答

·请问万维老师，过往的点评如何删除？0回答

·中职数学老师想评副高，建议投稿哪些期...0回答

·从哪里能够看到审稿进度0回答

18luck新利app

Baidu
map