征稿
Journal of Formalized Reasoning is an academic journal published by Alma Mater Studiorum. (ISSN 1972-5787).
由 Dou Sun 最后更新于
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| B | Journal of Automated Reasoning | 0.8 | Springer | 0168-7433 |
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| C | Future Generation Computer Systems | 6.1 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| B | Pattern Recognition | 7.6 | Elsevier | 0031-3203 |
| IEEE Access | 3.6 | IEEE | 2169-3536 |
相关会议
| CCF | ICORE | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|
| A | A* | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-04-02 | 2026-07-20 |
| A | A* | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2026-11-30 | 2027-02-16 |
| A | A* | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2025-11-06 | 2026-02-20 | 2026-06-03 |
| B | A* | ICRA | International Conference on Robotics and Automation | 2027-05-24 | ||
| B | A* | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 | |
| A | A* | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-02-01 | 2026-06-22 |
| C | ICC | International Conference on Communications | 2026-10-02 | 2027-01-15 | 2027-05-30 | |
| C | B | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-03-15 | 2027-06-14 |
| B | ICASSP | International Conference on Acoustics, Speech and Signal Processing | 2026-09-16 | 2027-01-13 | 2027-05-16 | |
| B | A* | PODS | ACM SIGMOD Conference on Principles of DB Systems | 2026-12-03 | 2027-03-01 | 2027-06-13 |
评论 0
请登录后发表评论
暂无评论。