欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛

Journal Of Automated Reasoning期刊
人气 757
加入收藏

Journal Of Automated Reasoning

SCIE

《Journal Of Automated Reasoning》创刊于1985年，是一本计算机科学国际学术期刊，出版语言为English，年发文量38。预计审稿周期约 12周，或约稿 ，近三年曾被列入预警期刊名单。

中科院 3区
JCR Q4
Citescore 3.6
TOP期刊 否
ISSN: 0168-7433
出版地区: NETHERLANDS
E-ISSN: 1573-0670
出版周期: Bimonthly
出版商: Springer Netherlands
创刊时间: 1985年
国际简称: J AUTOM REASONING
出版语言: English
研究方向: 工程技术-计算机：人工智能
中文名称: 自动推理杂志

Journal Of Automated Reasoning杂志简介

《Journal Of Automated Reasoning》由Springer Netherlands出版社出版，是计算机：人工智能领域的国际权威期刊。自1985年创刊以来，该刊始终致力于发表计算机科学领域的原创性、前瞻性研究成果，尤其关注计算机科学领域的理论、政策与实践。该刊被SCIE数据库收录，在JCR学科，按JIF指标学科分区学科“COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE”中位于Q4区；按JCI指标学科分区学科“COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE”中位于Q4区；中国科学院期刊分区为大类计算机科学3区，小类计算机：人工智能3区。此外，在CiteScore学科分类中，该刊在“Computational Theory and Mathematics”小类中位列Q2区，排名67 / 176，显示出在计算机：人工智能领域的突出影响力。

作为一本非开放获取期刊，《Journal Of Automated Reasoning》2023年发文量在38篇，研究类论文占比为100.00%。期刊最新影响因子为0.9 ，CiteScore为3.6，学术影响力持续稳健。该刊面向全球研究者，为探讨计算机：人工智能领域提供了高水平的学术交流平台。

WOS期刊JCR分区（2023-2024年最新版）

按JIF指标学科分区 收录子集 分区 排名 百分位
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 173 / 197

12.4%
按JCI指标学科分区 收录子集 分区 排名 百分位
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE SCIE Q4 170 / 198

14.39%

CiteScore（2025年最新版）

CiteScore数据趋势图

  • CiteScore：3.6
  • SJR：0.873
  • SNIP：1.612
学科 分区 排名 百分位
大类：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%

Journal Of Automated Reasoning中国科学院期刊分区

中国科学院期刊分区趋势图

中国科学院期刊分区 （2023年12月升级版）

大类学科 小类学科 Top期刊 综述期刊
计算机科学
3区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能
3区
否 否

中国科学院期刊分区 （2022年12月升级版）

大类学科 小类学科 Top期刊 综述期刊
计算机科学
2区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能
3区
否 否

中国科学院期刊分区 （2021年12月旧的升级版）

大类学科 小类学科 Top期刊 综述期刊
计算机科学
2区
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机：人工智能
3区
否 否

Journal Of Automated Reasoning高引用文章

  • 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

Journal Of Automated Reasoning学术指标

年份 影响因子 年发文量 引文指标 自引率 CiteScore
2023 0.9 - 38 - 0.2 - 11.1 - 3.6 -
2022 1.1 - 27 - 0.23 - 9.1 - 4.1 -
2021 1.15 - 23 - 0.31 - 9 - 4.2 -
2020 0.944 - 72 - 0.36 - 17.9 - 4.6 -
2019 1.431 - 56 - 0.53 - 5.4 - 3.8 -
2018 1.172 - 33 - 0.66 - 14.7 - 4 -

国家/地区发文量

国家/地区 发文量
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
欧州aV_亚洲三级操逼_亚洲性爱男人的天堂_黄色a√在线_欧美一区二区三区久久网_一级日韩毛
免费在线观看一区二区| 一级a片自拍| 特级黄免费| 成人在线观看视频a| 亚洲成人A∨| 在线观看成人av三级| 黄色录像片A片| 国产AV口交| 日韩黄色影视| 日韩无码 AV电影| 亚洲天堂高清无码| 亚州三级AV| a一级黄色网| 日韩黄色A片在线播放| 狼人就干网| 三级片第一页| 中文有码av第一页| 国产草逼Av| AV片区| 亚洲中文日韩AV| 在线色av| 国产一级特黄A片| 黄网三级片| 97色色综合| 日韩成人视频A片| 亚洲成人gav| 一级一级C片在线播放| 91玖玖| 亚州日韩视频| 日韩aaaaa| 一本大道东京热无码| 无码专区1| 亚洲成人不卡三区| 看黄色A级片视频| 亚洲成人AAAA| 黄色二区视频| 亚洲1级黄色电影。| 91aaa精品无码| 亚洲AV日韩影视| 亚洲三级av| 日韩AV线|