JOURNAL OF AUTOMATED REASONING
- 刊名
- JOURNAL OF AUTOMATED REASONING
- ISSN
- 0168-7433
- EISSN
- 1573-0670
- 出版机构
- SPRINGER
- 语种
- English
- 年份
- 2026
- IF 2024
- 0.8
ACADEMIC JOURNALJOURNAL OF AUTOMATED REASONINGYANZHI JOURNAL DIRECTORY
大类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| Computer Science | 计算机科学 | 2 区 | Q4 |
小类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | 计算机：人工智能 | 3 区 | Q4 |