期刊 | 期刊缩写 | ISSN | 文章数/年 - | 5年平均分 - | 非自引分 - | IFoid - |
---|---|---|---|---|---|---|
Theory and Practice of Logic Programming | Theor Pract Log Prog | 1471-0684 | 34 | 1.4999 | 1.3000 | 1.4000 |
Review of Symbolic Logic | Rev Symb Logic | 1755-0203 | 33 | 0.9000 | 0.8000 | 0.9000 |
ACM Transactions on Computational Logic | Acm T Comput Log | 1529-3785 | 35 | 0.8000 | 0.5999 | 0.7000 |
Bulletin of Symbolic Logic | B Symb Log | 1079-8986 | 19 | 0.7000 | 0.7000 | 0.7000 |
Journal of Logic and Computation | J Logic Comput | 0955-792X | 89 | 0.7000 | 0.5999 | 0.7000 |
Journal of Logical and Algebraic Methods in Programming | J Log Algebr Methods | 2352-2208 | 44 | 0.7000 | 0.5000 | 0.7000 |
Journal of Logic Language and Information | J Logic Lang Inform | 0925-8531 | 22 | 0.5999 | 0.5999 | 0.7000 |
Notre Dame Journal of Formal Logic | Notre Dame J Form L | 0029-4527 | 28 | 0.4000 | 0.5000 | 0.5999 |
Algebra and Logic | Algebr Log+ | 0002-5232 | 31 | 0.5000 | 0.4000 | 0.4000 |
Archive for Mathematical Logic | Arch Math Logic | 0933-5846 | 38 | 0.5000 | 0.4000 | 0.4000 |
Logica Universalis | Log Universalis | 1661-8297 | 23 | 0.5000 | 0.4000 | 0.4000 |