仕訳帳情報
Archive for Mathematical Logic
https://link.springer.com/journal/153インパクト ・ ファクター: |
0.400 |
出版社: |
Springer |
ISSN: |
0933-5846 |
閲覧: |
12710 |
追跡: |
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 |
|---|---|---|---|---|
| a | IEEE Transactions on Knowledge and Data Engineering | 8.9 | IEEE | 1041-4347 |
| Cogent Engineering | Cogent OA | 2331-1916 | ||
| Journal of Chemical Information and Modeling | 5.600 | American Chemical Society | 1549-9596 | |
| International Journal of Computing | Research Institute of Intelligent Computer Systems | 1727-6209 | ||
| c | Journal of Grid Computing | 3.600 | Springer | 1570-7873 |
| c | ACM Transactions on Computing Education | 3.200 | ACM | 1946-6226 |
| Vehicular Communications | 5.800 | Elsevier | 2214-2096 | |
| c | International Journal of Knowledge Management | IGI Global | 1548-0666 | |
| c | Journal of Database Management | 2.600 | IGI Global | 1063-8016 |
| International Journal of Imaging Systems and Technology | 3.000 | Wiley-Blackwell | 0899-9457 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| IEEE Transactions on Knowledge and Data Engineering | 8.9 | IEEE |
| Cogent Engineering | Cogent OA | |
| Journal of Chemical Information and Modeling | 5.600 | American Chemical Society |
| International Journal of Computing | Research Institute of Intelligent Computer Systems | |
| Journal of Grid Computing | 3.600 | Springer |
| ACM Transactions on Computing Education | 3.200 | ACM |
| Vehicular Communications | 5.800 | Elsevier |
| International Journal of Knowledge Management | IGI Global | |
| Journal of Database Management | 2.600 | IGI Global |
| International Journal of Imaging Systems and Technology | 3.000 | Wiley-Blackwell |
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| CVSM | International Conference On Computer Vision And Smart Manufacturing | 2019-04-12 | 2019-08-05 | ||||
| DMIAF | Digital Media Industry & Academic Forum | 2017-05-31 | 2017-06-30 | 2017-09-06 | |||
| CSECS | International Conference on Software Engineering and Computer Science | 2025-02-28 | 2025-03-08 | 2025-03-21 | |||
| MCAE | International Conference on Mechatronics, Control and Automation Engineering | 2017-09-05 | 2017-09-17 | ||||
| JCRAI | International Joint Conference on Robotics and Artificial Intelligence | 2025-07-05 | 2025-07-10 | 2025-07-11 | |||
| ICMTA | International Conference on Materials Technology and Applications | 2023-06-10 | 2023-06-30 | 2023-10-27 | |||
| AIMLA | International Conference on AI, Machine Learning and Applications | 2023-02-11 | 2023-02-18 | 2023-02-25 | |||
| EDGE | International Conference on Edge Computing | 2025-03-10 | 2025-05-06 | 2025-07-07 | |||
| WCSA | Wireless Congress Systems and Applications | 2020-04-30 | 2020-05-30 | 2020-11-11 | |||
| ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2020-11-30 | 2021-01-04 |
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| CVSM | International Conference On Computer Vision And Smart Manufacturing | 2019-08-05 |
| DMIAF | Digital Media Industry & Academic Forum | 2017-09-06 |
| CSECS | International Conference on Software Engineering and Computer Science | 2025-03-21 |
| MCAE | International Conference on Mechatronics, Control and Automation Engineering | 2017-09-17 |
| JCRAI | International Joint Conference on Robotics and Artificial Intelligence | 2025-07-11 |
| ICMTA | International Conference on Materials Technology and Applications | 2023-10-27 |
| AIMLA | International Conference on AI, Machine Learning and Applications | 2023-02-25 |
| EDGE | International Conference on Edge Computing | 2025-07-07 |
| WCSA | Wireless Congress Systems and Applications | 2020-11-11 |
| ICIOTCC | International Conference on Internet of Things and Cloud Computing | 2021-01-04 |