ACM Transactions on Computational Logic
- Title
- ACM Transactions on Computational Logic
- ISSN
- 1529-3785
- EISSN
- 1557-945X
- Publisher
- ASSOC COMPUTING MACHINERY
- Language
- English
- Database
-
Web of Science (SCIE)
Research Area
| Name(En) | Name(Zh) | XinRui Ranking | Top |
|---|---|---|---|
| Mathematics | 数学 | T 3 | — |
JCR Category
| Name(En) | Name(Zh) | XinRui Ranking |
|---|---|---|
| COMPUTER SCIENCE, THEORY & METHODS | 计算机：理论方法 | T 3 |
| LOGIC | 逻辑学 | T 3 |