您现在的位置是:首页SCI期刊JOURNAL OF AUTOMATED REASONING(自动推理杂志)
JOURNAL OF AUTOMATED REASONING

JOURNAL OF AUTOMATED REASONING SCIE

自动推理杂志

0168-7433

工程技术

Bimonthly

No

J AUTOM REASONING

32

NETHERLANDS

http://www.springer.com/computer/theoretical+computer+science/journal/10817

>12周,或约稿审稿时间

容易平均录用比例

1.172影响因子

计算机:人工智能小学科

SCI三剑客

中文简介

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

https://www.editorialmanager.com/jars/default.aspx

英文简介

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.

SCI服务流程
服务流程
常见问题
Q&A
SSCI是SCI的姊妹篇,主要收录的是国际顶级社科方向的期刊,其中就包括语言类。所以这里就给大家整理了一些 语言方向
快速了解什么是SCI短评? 很多作者在选择发表sci时会看到有短评,其实短评也是sci论文写作类型的一种,从其字面意思上
要说顶刊那么肯定具有极高发表价值性的,且认可度高,目前符合这一要求的可以说大都是存在于sci一区的刊物。所以这
HPBSCI期刊分区分为中科院分区和JCR分区,以下是HPB期刊涉及到的学科分区详情。 中科院分区最新升级版 (当前数据版本

影响因子趋势图

SCI服务明细

工程技术方向的SCI期刊推荐
R&J
大类学科同领域优质期刊 大类学科 小类学科 影响因子 分区 ISSN
ADAPTIVE BEHAVIOR 工程技术 计算机:人工智能 1.362 N/A 1059-7123
ADVANCED ENGINEERING INFORMATICS 工程技术 计算机:人工智能 3.772 2区 1474-0346
Advances in Electrical and Computer Engineering 工程技术 计算机:人工智能 0.65 N/A 1582-7445
AI COMMUNICATIONS 工程技术 计算机:人工智能 0.765 N/A 0921-7126
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING 工程技术 计算机:人工智能 0.894 N/A 0890-0604
AI MAGAZINE 工程技术 计算机:人工智能 1.316 N/A 0738-4602
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 工程技术 计算机:人工智能 1.011 N/A 1012-2443
APPLIED ARTIFICIAL INTELLIGENCE 工程技术 计算机:人工智能 0.988 4区 0883-9514
APPLIED INTELLIGENCE 工程技术 计算机:人工智能 2.882 3区 0924-669X
APPLIED SOFT COMPUTING 工程技术 计算机:人工智能 4.873 2区 1568-4946
不同分值的sci期刊其影响因子也是有所不同的,通常分值越高的刊物其所具发表价值性越高,因此不少作者更加倾向于高...
在现代工程技术领域,研究成果的及时发布对于推动科技进步和创新至关重要,但对于着急展现自己学术研究成果时,一...
工程技术亦称生产技术,是在工业生产中实际应用的技术。就是说人们应用科学知识或利用技术发展的研究成果于工业生...
山东省安全工程技术专业高级职称评价标准条件(试行) 第一章 总 则 第一条 为贯彻落实国家、省关于深化职称制度改革的...
工程技术类的期刊也是有不少的,尤其是被SCI所收录的,这里也是整理了一些 容易Accept的10个工程技术类SCI期刊 ,希望所...

发现心仪选题请填单

获取发表周期短、审稿速度快容易录用的期刊