仕訳帳情報
Archive for Mathematical Logic
http://www.springer.com/mathematics/journal/153インパクト ・ ファクター: |
0.313 |
出版社: |
Springer |
ISSN: |
0933-5846 |
閲覧: |
8654 |
追跡: |
0 |
論文募集
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 2013-11-16
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| Applied Mathematical Modelling | 5.129 | Elsevier | 0307-904X | |
| Mathematical Programming | 3.995 | Springer | 0025-5610 | |
| Journal of Applied Mathematics | 0.834 | Hindawi | 1110-757X | |
| Journal of Mathematical Cryptology | Walter de Gruyter | 1862-2976 | ||
| b | ACM Transactions on Mathematical Software | ACM | 0098-3500 | |
| International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter | 1641-876X | |
| International Journal of Microwave Science and Technology | Hindawi | 1687-5826 | ||
| Automatic Control and Computer Sciences | Springer | 0146-4116 | ||
| Archive for Rational Mechanics and Analysis | 2.793 | Springer | 0003-9527 | |
| Journal of Mathematical Imaging and Vision | 1.627 | Springer | 0924-9907 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Applied Mathematical Modelling | 5.129 | Elsevier |
| Mathematical Programming | 3.995 | Springer |
| Journal of Applied Mathematics | 0.834 | Hindawi |
| Journal of Mathematical Cryptology | Walter de Gruyter | |
| ACM Transactions on Mathematical Software | ACM | |
| International Journal of Applied Mathematics and Computer Science | 1.504 | Walter de Gruyter |
| International Journal of Microwave Science and Technology | Hindawi | |
| Automatic Control and Computer Sciences | Springer | |
| Archive for Rational Mechanics and Analysis | 2.793 | Springer |
| Journal of Mathematical Imaging and Vision | 1.627 | Springer |
関連会議
| 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 | |||
| ICEECS | International Conference on Electrics, Electronics and Computer Scienc | 2022-05-04 | 2022-06-13 | ||||
| NLTM | International Conference on NLP & Text Mining | 2023-02-11 | 2023-02-18 | 2023-02-25 | |||
| 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 |
| ICEECS | International Conference on Electrics, Electronics and Computer Scienc | 2022-05-04 | 2022-06-13 |
| NLTM | International Conference on NLP & Text Mining | 2023-02-11 | 2023-02-25 |
| 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 |
おすすめ