| JOURNAL OF MATHEMATICAL LOGIC
|
0219-0613 |
1.222 |
数学3区 |
No |
半年刊 |
| ANNALS OF PURE AND APPLIED LOGIC
|
0168-0072 |
1.000 |
数学4区 |
No |
月刊 |
| THEORY AND PRACTICE OF LOGIC PROGRAMMING
|
1471-0684 |
0.875 |
工程技术4区 |
No |
双月刊 |
| REVIEW OF SYMBOLIC LOGIC
|
1755-0203 |
0.831 |
数学3区 |
No |
季刊 |
| JOURNAL OF SYMBOLIC LOGIC
|
0022-4812 |
0.793 |
数学4区 |
No |
季刊 |
| JOURNAL OF LOGIC AND COMPUTATION
|
0955-792X |
0.740 |
工程技术4区 |
No |
双月刊 |
| ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
|
1529-3785 |
0.731 |
工程技术4区 |
No |
季刊 |
| JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
|
2352-2208 |
0.634 |
工程技术4区 |
No |
双月刊 |
| BULLETIN OF SYMBOLIC LOGIC
|
1079-8986 |
0.613 |
数学4区 |
No |
季刊 |
| JOURNAL OF LOGIC LANGUAGE AND INFORMATION
|
0925-8531 |
0.536 |
社会科学4区 |
No |
季刊 |
| ALGEBRA AND LOGIC
|
0002-5232 |
0.527 |
数学4区 |
No |
双月刊 |
| MATHEMATICAL LOGIC QUARTERLY
|
0942-5616 |
0.522 |
数学4区 |
No |
双月刊 |
| ARCHIVE FOR MATHEMATICAL LOGIC
|
0933-5846 |
0.519 |
数学4区 |
No |
双月刊 |
| LOGICAL METHODS IN COMPUTER SCIENCE
|
1860-5974 |
0.508 |
工程技术4区 |
Yes |
不定 |
| STUDIA LOGICA
|
0039-3215 |
0.450 |
数学4区 |
No |
双月刊 |
| LOGIC JOURNAL OF THE IGPL
|
1367-0751 |
0.449 |
数学4区 |
No |
双月刊 |
| JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING
|
1542-3980 |
0.437 |
工程技术4区 |
No |
双月刊 |
| NOTRE DAME JOURNAL OF FORMAL LOGIC
|
0029-4527 |
0.403 |
数学4区 |
No |
季刊 |
| HISTORY AND PHILOSOPHY OF LOGIC
|
0144-5340 |
0.294 |
数学4区 |
No |
季刊 |
| REPORTS ON MATHEMATICAL LOGIC
|
0137-2904 |
0.267 |
数学4区 |
No |
年刊 |
