| 缩写名/全名 |
J AUTOM REASONING
JOURNAL OF AUTOMATED REASONING |
||||||||||||||||||||||||
| ISSN号 | 0168-7433 | ||||||||||||||||||||||||
| 研究方向 | 工程技术-计算机：人工智能 | ||||||||||||||||||||||||
| 影响因子 | 2015:2.113, 2016:1.636, 2017:1.321, 2018:1.172, 2019:1.431, | ||||||||||||||||||||||||
| 出版国家 | NETHERLANDS | ||||||||||||||||||||||||
| 出版周期 | Bimonthly | ||||||||||||||||||||||||
| 年文章数 | 56 | ||||||||||||||||||||||||
| 出版年份 | 0 | ||||||||||||||||||||||||
| 是否OA | No | ||||||||||||||||||||||||
| 审稿周期(仅供参考) | >12周，或约稿 |
||||||||||||||||||||||||
| 录用比例 | 容易 | ||||||||||||||||||||||||
| 投稿链接 | https://www.editorialmanager.com/jars/default.aspx | ||||||||||||||||||||||||
| 投稿官网 | http://www.springer.com/computer/theoretical+computer+science/journal/10817 | ||||||||||||||||||||||||
| h-index | 49 | ||||||||||||||||||||||||
| CiteScore |
|
||||||||||||||||||||||||
| PubMed Central (PMC)链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0168-7433%5BISSN%5D | ||||||||||||||||||||||||
| 中科院SCI期刊分区 （ 2018年新版本） |
|
||||||||||||||||||||||||
| 中科院SCI期刊分区 （ 2020年新版本） |
|
| 中国学者近期发表的论文 | |
| 1. | Formalization of Geometric Algebra in HOL Light Author: Li-Ming Li, Zhi-Ping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-9498-9 DOI |
| 2. | A Conflict-Driven Solving Procedure for Poly-Power Constraints Author: Cheng-Chao Huang, Ming Xu, Zhi-Bin Li Journal: JOURNAL OF AUTOMATED REASONING, 2018, Vol., , DOI:10.1007/s10817-018-09501-z DOI |
| 3. | Array Theory of Bounded Elements and its Applications Author: Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun Journal: JOURNAL OF AUTOMATED REASONING, 2013, Vol.52, 379-405, DOI:10.1007/s10817-013-9293-6 DOI |
| 4. | Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method Author: Jie Zhou, Dingkang Wang, Yao Sun Journal: JOURNAL OF AUTOMATED REASONING, 2016, Vol.59, 331-344, DOI:10.1007/s10817-016-9395-z DOI |
| 5. | Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Author: Hao Chen, Xiongnan Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu Journal: JOURNAL OF AUTOMATED REASONING, 2017, Vol.61, 141-189, DOI:10.1007/s10817-017-9446-0 DOI |
|
|