|
IEEE Open Journal of the Computer Society
|
|
scopus
/
ESCI
JCR Q1
中科院 3区
|
计算机:理论方法
|
|
|
Computer Science Journal of Moldova
|
1561-4042 |
scopus
/
ESCI
JCR Q4
中科院 4区
|
计算机:理论方法
|
|
|
Advances in Mathematics of Communications
|
1930-5346 |
scie
/
scopus
JCR Q4
中科院 4区
|
计算机:理论方法
|
|
|
Theory and Practice of Logic Programming
|
1471-0684 |
scie
/
scopus
JCR Q3
中科院 2区
|
计算机:理论方法
|
|
|
Semantic Web
|
1570-0844 |
scie
/
scopus
JCR Q2
中科院 2区
|
计算机:理论方法
|
|
|
Journal of Web Engineering
|
1540-9589 |
scie
/
scopus
JCR Q3
中科院 4区
|
计算机:理论方法
|
|
|
Journal of Symbolic Computation
|
0747-7171 |
scie
/
scopus
JCR Q2
中科院 4区
|
计算机:理论方法
|
|
|
Foundations of Computational Mathematics
|
1615-3375 |
scie
/
scopus
JCR Q1
中科院 1区
|
计算机:理论方法
|
|
|
Cryptography and Communications
|
1936-2447 |
scie
/
scopus
JCR Q2
中科院 3区
|
计算机:理论方法
|
|
|
Theoretical Computer Science
|
0304-3975 |
scie
/
scopus
JCR Q3
中科院 4区
|
计算机:理论方法
|
|