JOURNAL OF AUTOMATED REASONING
- 刊名
- JOURNAL OF AUTOMATED REASONING
- ISSN
- 0168-7433
- EISSN
- 1573-0670
- 出版机构
- SPRINGER
- 语种
- English
- 数据库
-
Web of Science (SCIE)
大类学科
| 英文名 | 中文名 | 新锐分区 | Top |
|---|---|---|---|
| Computer Science | 计算机科学 | 2 区 | — |
小类学科
| 英文名 | 中文名 | 新锐分区 |
|---|---|---|
| COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | 计算机：人工智能 | 3 区 |