期刊信息
Archive for Mathematical Logic
https://link.springer.com/journal/153
影响因子:
0.400
出版商:
Springer
ISSN:
0933-5846
浏览:
10043
关注:
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
bData Mining and Knowledge Discovery2.800Springer1384-5810
Image Processing On LineIPOL2105-1232
Journal of Computer Assisted Learning5.100Wiley-Blackwell0266-4909
International BiomechanicsTaylor & Francis2333-5432
cThe Journal of Supercomputing2.500Springer0920-8542
ACM Transactions on Modeling and Computer Simulation0.700ACM1049-3301
cJournal of Electronic Testing: Theory and Applications1.100Springer0923-8174
cInternational Journal of Intelligent Systems John Wiley & Sons, Ltd1098-111X
Journal of Control and Decision1.500Taylor & Francis2330-7706
cJournal of Database Management2.600IGI Global1063-8016
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
ICIOTCCInternational Conference on Internet of Things and Cloud Computing2020-11-30 2021-01-04
CCCGCanadian Conference on Computational Geometry2021-05-102021-06-142021-08-10
EDGEInternational Conference on Edge Computing2024-03-172024-05-062024-07-07
NLTMInternational Conference on NLP & Text Mining2023-02-112023-02-182023-02-25
ICEECSInternational Conference on Electrics, Electronics and Computer Scienc2022-05-04 2022-06-13
JCRAIInternational Joint Conference on Robotics and Artificial Intelligence2022-05-152022-05-152022-06-10
MCAEInternational Conference on Mechatronics, Control and Automation Engineering2017-09-05 2017-09-17
SDMPRAsia Conference on Statistics, Data Mining and Pattern Recognition2023-09-202023-10-052023-10-27
DMIAFDigital Media Industry & Academic Forum2017-05-312017-06-302017-09-06
MCTEInternational Conference on Mechatronics and Computer Technology Engineering2019-08-26 2019-08-30
推荐