JOURNAL OF AUTOMATED REASONING

期刊信息导读

1. JOURNAL OF AUTOMATED REASONING基本信息
• 2018-2019最新影响因子
• 2022年6月28日更新影响因子
• 研究方向
• 官方网站
• 投稿网址
• 年文章数
2. JOURNAL OF AUTOMATED REASONING中科院SCI期刊分区
3. 历年JOURNAL OF AUTOMATED REASONING影响因子趋势图
4. JOURNAL OF AUTOMATED REASONING期刊英文简介
5. JOURNAL OF AUTOMATED REASONING期刊中文简介

JOURNAL OF AUTOMATED REASONING基本信息

简称：J AUTOM REASONING

中文名称：自动推理杂志

研究方向：工程技术

2018-2019最新影响因子：1.172

2022年6月28日更新影响因子：1.150

SCI类别：SCIE

是否OA开放访问：No

出版地：NETHERLANDS

出版周期：Bimonthly

年文章数：32

涉及的研究方向：工程技术-计算机：人工智能

通讯方式：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ

官方网站：http://www.springer.com/computer/theoretical+computer+science/journal/10817

投稿网址：https://www.editorialmanager.com/jars/default.aspx

审稿速度：>12周，或约稿

平均录用比例:容易

PMC链接：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0168-7433%5BISSN%5D

JOURNAL OF AUTOMATED REASONING期刊英文简介

The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

JOURNAL OF AUTOMATED REASONING期刊中文简介

《自动推理跨学科杂志》平衡了理论、实现和应用。覆盖范围从提出一个新的推理规则及其逻辑特性的证明，到详细的计算机程序设计，以解决工业中的各种问题。主题包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人和各种工业应用。内容集中在自动推理的几个方面，这个领域的目标是设计和实现一个计算机程序，作为解决问题和回答需要推理的问题的助手。《自动推理杂志》为那些纯粹对理论感兴趣的人、那些主要对实施感兴趣的人以及那些对具体研究和工业应用感兴趣的人提供了一个论坛和一种交换信息的方法。

中科院SCI期刊分区：

JOURNAL OF AUTOMATED REASONING影响因子

获取相关优质资源获取2023中科院分区