推荐合适期刊 投稿指导 助力快速见刊免费咨询
Journal Of Automated Reasoning是计算机科学领域的一本优秀期刊。由Springer Netherlands出版社出版。该期刊主要发表计算机科学领域的原创性研究成果。创刊于1985年，该期刊主要刊载工程技术-计算机：人工智能及其基础研究的前瞻性、原始性、首创性研究成果、科技成就和进展。该期刊不仅收录了该领域的科技成就和进展，更以其深厚的学术积淀和卓越的审稿标准，确保每篇文章都具备高度的学术价值。此外，该刊同时被SCIE数据库收录，并被划分为中科院SCI3区期刊，它始终坚持创新，不断专注于发布高度有价值的研究成果，不断推动计算机科学领域的进步。
同时，我们注重来稿文章表述的清晰度，以及其与我们的读者群体和研究领域的相关性。为此，我们期待所有投稿的文章能够保持简洁明了、组织有序、表述清晰。该期刊平均审稿速度为平均 12周，或约稿 。若您对于稿件是否适合该期刊存在疑虑，建议您在提交前主动与期刊主编取得联系，或咨询本站的客服老师。我们的客服老师将根据您的研究内容和方向，为您推荐最为合适的期刊，助力您顺利投稿，实现学术成果的顺利发表。
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 2区 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能 | 3区 | 否 | 否 |
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 173 / 197 |
12.4% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | SCIE | Q4 | 170 / 198 |
14.39% |
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Computer Science 小类：Computational Theory and Mathematics | Q2 | 67 / 176 |
62% |
| 大类：Computer Science 小类：Artificial Intelligence | Q3 | 196 / 350 |
44% |
| 大类：Computer Science 小类：Software | Q3 | 233 / 407 |
42% |
| 年份 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 |
| 年发文量 | 28 | 27 | 26 | 32 | 33 | 56 | 72 | 23 | 27 | 38 |
| 国家/地区 | 数量 |
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
| 机构 | 数量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUSTRIAL RESEARCH ORGANISATION (CSIRO) | 10 |
| AUSTRALIAN NATIONAL UNIVERSITY | 9 |
| CARNEGIE MELLON UNIVERSITY | 9 |
| UNIVERSITY OF INNSBRUCK | 9 |
| MAX PLANCK SOCIETY | 8 |
| TECHNISCHE UNIVERSITAT WIEN | 7 |
| UNIVERSITE DE LORRAINE | 7 |
| 文章名称 | 引用次数 |
| The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar | 13 |
| Compositional Falsification of Cyber-Physical Systems with Machine Learning Components | 6 |
| Synthesis of Obfuscation Policies to Ensure Privacy and Utility | 5 |
| Hammer for Coq: Automation for Dependent Type Theory | 4 |
| Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories | 3 |
| VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs | 3 |
| System-Level Non-interference of Constant-Time Cryptography. Part I: Model | 3 |
| Verified iptables Firewall Analysis and Verification | 2 |
| Formalization of the Resolution Calculus for First-Order Logic | 2 |
| Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits | 2 |
SCIE
影响因子 3.7
CiteScore 6.4
SCIE
影响因子 4.5
CiteScore 10
SCIE
影响因子 3.8
CiteScore 6.7
SCIE
影响因子 5.3
CiteScore 9.3
SCIE
影响因子 1.7
CiteScore 3.4
SCIE
CiteScore 5.6
SCIE
影响因子 7.7
CiteScore 20.9
SCIE
影响因子 3.9
CiteScore 7.3
SCIE
影响因子 5.3
CiteScore 10.3
SCIE
影响因子 3
CiteScore 7.7
若用户需要出版服务，请联系出版商：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ。