期刊全称
Journal of Automated Reasoning
CiteScore
过去四年文献总数
过去四年引用总数
被引用比率
Print ISSN
0168-7433
出版社
Springer Nature
Scopus链接
https://www.scopus.com/sourceid/24354
开放出版
Open Access
否
出版类型
期刊 - Journal
SNIP
1.759
SJR
0.497
Q2
85 / 227
Q1
27 / 133
146 / 389