《Journal Of Automated Reasoning》雜志影響因子：0.9。
期刊Journal Of Automated Reasoning近年評價數據趨勢圖
期刊影響因子趨勢圖
以下是一些常見的影響因子查詢入口：
（1）Web of Science：是查詢SCI期刊影響因子的權威平臺，收錄全球高質量學術期刊，提供詳細的期刊引證報告，包括影響因子、分區、被引頻次等關鍵指標。
（2）?Journal Citation Reports (JCR)：JCR是科睿唯安旗下的一個網站，提供了期刊影響因子、引用數據和相關指標。用戶可以在該網站上查找特定期刊的影響因子信息。
（3）中科院SCI期刊分區表：提供中科院分區的期刊數據查詢，包括影響因子和分區信息。
《Journal Of Automated Reasoning》雜志是由Springer Netherlands出版社主辦的一本以工程技術-計算機：人工智能為研究方向，OA非開放（Not Open Access）的國際優秀期刊。
該雜志出版語言為English，創刊于1985年。自創刊以來，已被SCIE（科學引文索引擴展板）等國內外知名檢索系統收錄。該雜志發表了高質量的論文，重點介紹了COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE在分析和實踐中的理論、研究和應用。
?學術地位：在JCR分區中位列Q4區，中科院分區為計算機科學大類3區，COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE計算機：人工智能小類3區。
期刊發文分析
機構發文量統計
| 機構 | 發文量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQ... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF MUNICH | 14 |
| COMMONWEALTH SCIENTIFIC & INDUSTRIAL RESEA... | 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 |
國家 / 地區發文量統計
| 國家 / 地區 | 發文量 |
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
期刊引用數據次數統計
| 期刊引用數據 | 引用次數 |
| J AUTOM REASONING | 79 |
| THEOR COMPUT SCI | 46 |
| COMMUN ACM | 26 |
| J ACM | 22 |
| INFORM COMPUT | 21 |
| MATH STRUCT COMP SCI | 21 |
| ACM T COMPUT LOG | 15 |
| LOG METH COMPUT SCI | 15 |
| J FUNCT PROGRAM | 14 |
| ACM T PROGR LANG SYS | 12 |
期刊被引用數據次數統計
| 期刊被引用數據 | 引用次數 |
| J AUTOM REASONING | 79 |
| ANN MATH ARTIF INTEL | 29 |
| J SYMB COMPUT | 14 |
| ARTIF INTELL | 13 |
| IEEE ACCESS | 12 |
| J FUNCT PROGRAM | 11 |
| ACM T COMPUT LOG | 10 |
| MATH STRUCT COMP SCI | 10 |
| LOG METH COMPUT SCI | 9 |
| PHILOS T R SOC A | 9 |
文章引用數據次數統計
| 文章引用數據 | 引用次數 |
| The Role of the Mizar Mathematical Library... | 13 |
| Compositional Falsification of Cyber-Physi... | 6 |
| Synthesis of Obfuscation Policies to Ensur... | 5 |
| Hammer for Coq: Automation for Dependent T... | 4 |
| Automatic Synthesis of Logical Models for ... | 3 |
| VST-Floyd: A Separation Logic Tool to Veri... | 3 |
| System-Level Non-interference of Constant-... | 3 |
| Verified iptables Firewall Analysis and Ve... | 2 |
| Formalization of the Resolution Calculus f... | 2 |
| Verifying the Correctness and Amortized Co... | 2 |
