仕訳帳情報
Archive for Mathematical Logic
https://link.springer.com/journal/153インパクト ・ ファクター: |
0.400 |
出版社: |
Springer |
ISSN: |
0933-5846 |
閲覧: |
15028 |
追跡: |
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 |
|---|---|---|---|---|
| Applied Mathematical Modelling | 5.1 | Elsevier | 0307-904X | |
| b | ACM Transactions on Mathematical Software | 3.2 | ACM | 0098-3500 |
| Mathematical Programming | 2.5 | Springer | 0025-5610 | |
| International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter | 1641-876X | |
| Journal of Mathematical Imaging and Vision | 1.300 | Springer | 0924-9907 | |
| Journal of Applied Mathematics | 1.200 | Hindawi | 1110-757X | |
| International Journal of Mathematics and Mathematical Sciences | 1.000 | Hindawi | 0161-1712 | |
| Discrete Mathematics | 0.700 | Elsevier | 0012-365X | |
| Automatic Documentation and Mathematical Linguistics | 0.500 | Springer | 0005-1055 | |
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 |
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | a | a2 | PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2025-09-01 | 2025-11-10 | 2026-01-31 |
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| b | a | a1 | COLING | International Conference on Computational Linguistics | 2024-09-16 | 2024-11-29 | 2025-01-19 |
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| b1 | DL | International Workshop on Description Logics | 2022-04-23 | 2022-06-08 | 2022-08-07 | ||
| c | PSD | Privacy in Statistical Databases | 2020-06-01 | 2020-06-26 | 2020-09-23 | ||
| a | ALIFE | Conference on Artificial Life | 2019-03-08 | 2019-04-24 | 2019-07-29 | ||
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 | ||
| b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 | ||
| b4 | ICAL | International Conference on Automation and Logistics | 2012-04-30 | 2012-06-10 | 2012-08-15 |