期刊信息
Archive for Mathematical Logic
https://link.springer.com/journal/153影响因子: |
0.400 |
出版商: |
Springer |
ISSN: |
0933-5846 |
浏览: |
9475 |
关注: |
0 |
征稿
Aims and scope The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.
最后更新 Dou Sun 在 2024-07-22
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| b | Data Mining and Knowledge Discovery | 2.800 | Springer | 1384-5810 |
| Image Processing On Line | IPOL | 2105-1232 | ||
| Journal of Computer Assisted Learning | 5.100 | Wiley-Blackwell | 0266-4909 | |
| International Biomechanics | Taylor & Francis | 2333-5432 | ||
| c | The Journal of Supercomputing | 2.500 | Springer | 0920-8542 |
| ACM Transactions on Modeling and Computer Simulation | 0.700 | ACM | 1049-3301 | |
| c | Journal of Electronic Testing: Theory and Applications | 1.100 | Springer | 0923-8174 |
| c | International Journal of Intelligent Systems | John Wiley & Sons, Ltd | 1098-111X | |
| Journal of Control and Decision | 1.500 | Taylor & Francis | 2330-7706 | |
| c | Journal of Database Management | 2.600 | IGI Global | 1063-8016 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Data Mining and Knowledge Discovery | 2.800 | Springer |
| Image Processing On Line | IPOL | |
| Journal of Computer Assisted Learning | 5.100 | Wiley-Blackwell |
| International Biomechanics | Taylor & Francis | |
| The Journal of Supercomputing | 2.500 | Springer |
| ACM Transactions on Modeling and Computer Simulation | 0.700 | ACM |
| Journal of Electronic Testing: Theory and Applications | 1.100 | Springer |
| International Journal of Intelligent Systems | John Wiley & Sons, Ltd | |
| Journal of Control and Decision | 1.500 | Taylor & Francis |
| Journal of Database Management | 2.600 | IGI Global |
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2020-11-30 | 2021-01-04 | ||||
| CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-06-14 | 2021-08-10 | |||
| EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-05-06 | 2024-07-07 | |||
| NLTM | International Conference on NLP & Text Mining | 2023-02-11 | 2023-02-18 | 2023-02-25 | |||
| ICEECS | International Conference on Electrics, Electronics and Computer Scienc | 2022-05-04 | 2022-06-13 | ||||
| JCRAI | International Joint Conference on Robotics and Artificial Intelligence | 2022-05-15 | 2022-05-15 | 2022-06-10 | |||
| MCAE | International Conference on Mechatronics, Control and Automation Engineering | 2017-09-05 | 2017-09-17 | ||||
| SDMPR | Asia Conference on Statistics, Data Mining and Pattern Recognition | 2023-09-20 | 2023-10-05 | 2023-10-27 | |||
| DMIAF | Digital Media Industry & Academic Forum | 2017-05-31 | 2017-06-30 | 2017-09-06 | |||
| MCTE | International Conference on Mechatronics and Computer Technology Engineering | 2019-08-26 | 2019-08-30 |
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2020-11-30 | 2021-01-04 |
| CCCG | Canadian Conference on Computational Geometry | 2021-05-10 | 2021-08-10 |
| EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-07-07 |
| NLTM | International Conference on NLP & Text Mining | 2023-02-11 | 2023-02-25 |
| ICEECS | International Conference on Electrics, Electronics and Computer Scienc | 2022-05-04 | 2022-06-13 |
| JCRAI | International Joint Conference on Robotics and Artificial Intelligence | 2022-05-15 | 2022-06-10 |
| MCAE | International Conference on Mechatronics, Control and Automation Engineering | 2017-09-05 | 2017-09-17 |
| SDMPR | Asia Conference on Statistics, Data Mining and Pattern Recognition | 2023-09-20 | 2023-10-27 |
| DMIAF | Digital Media Industry & Academic Forum | 2017-05-31 | 2017-09-06 |
| MCTE | International Conference on Mechatronics and Computer Technology Engineering | 2019-08-26 | 2019-08-30 |
推荐