万维书刊网微信二维码

扫微信，关注编辑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日星期五


赞 助 商 图 片

广告联系


投稿常见问题

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

论文写作模板！

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

如何收藏刊物、并投稿？

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

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

投稿失败注意事项！

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

投稿介绍信模板！

非中介邮箱！


历史浏览

惠州文艺（文学内刊）

  • 万维QQ投稿交流群    招募志愿者

    版权所有 Copyright@2009-2015| 豫ICP备2021036211号

     纯自助论文投稿平台    E-mail：1121090112@qq.com；eshukan@163.com


投稿问答最小化  关闭

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

·心理干预个案研究可以发哪个刊物 0回答

·关于音乐机构与宋词的投什么期刊？ 1回答

·请问中华民族共同体意识可以投哪些期刊... 1回答

·超过了最大请求长度是什么意思 1回答

问答