ACM Transactions on Computational Logic
- 刊名
- ACM Transactions on Computational Logic
- ISSN
- 1529-3785
- EISSN
- 1557-945X
- 出版机构
- ASSOC COMPUTING MACHINERY
- 语种
- English
- 年份
- 2026
- IF 2024
- 0.9
ACADEMIC JOURNALACM Transactions on Computational LogicYANZHI JOURNAL DIRECTORY
大类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| Mathematics | 数学 | 3 区 | Q1 |
小类学科
| 英文名 | 中文名 | 新锐分区 | JCR 分区 |
|---|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | 3 区 | Q1 |
| LOGIC | 逻辑学 | 3 区 | Q1 |