Journal of Automated Reasoning

Tạp chí khoa học

Journal of Automated Reasoning

SCOPUS (1985-2025)SCIE-ISI
ISSN
1573-0670
E-ISSN
0168-7433
Cơ quan chủ quản
SPRINGER , Springer Netherlands
Lĩnh vực
Computational Theory and MathematicsSoftwareArtificial Intelligence

Phân tích ảnh hưởng

Chỉ số Impact Factor, số công bố và trích dẫn của tạp chí theo từng năm.

Các bài báo tiêu biểu

Những công bố được trích dẫn nhiều nhất của tạp chí.