期刊信息
Journal of Automated Reasoning
https://link.springer.com/journal/10817影响因子: |
0.900 |
出版商: |
Springer |
ISSN: |
0168-7433 |
浏览: |
13440 |
关注: |
4 |
征稿
Aims and scope The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning.
最后更新 Dou Sun 在 2024-07-21
Special Issues
Special Issue on Selected Extended Papers of TACAS 2024 (theory track)截稿日期: 2024-10-01TACAS'24 was the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held on April 6-11, 2024 in Luxembourg City, Luxembourg. TACAS is a forum for researchers, developers and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility and efficiency of tools and algorithms for building systems.
最后更新 Dou Sun 在 2024-07-21
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM | 1551-6857 | |
Electronics | 2.600 | MDPI | 2079-9292 | |
c | International Journal of Knowledge Management | IGI Global | 1548-0666 | |
ACM Transactions on Parallel Computing | 0.900 | ACM | 2329-4949 | |
Information Technology and Management | 2.300 | Springer | 1385-951X | |
Journal of Cloud Computing | Springer | 2192-113X | ||
c | Journal of Computer Information Systems | 2.500 | Taylor & Francis | 0887-4417 |
Language Learning & Technology | 3.800 | University of Hawaii Press | 1094-3501 | |
Computational Mathematics and Modeling | Springer | 1046-283X | ||
Optical Memory and Neural Networks | 1.000 | Springer | 1060-992X |
全称 | 影响因子 | 出版商 |
---|---|---|
ACM Transactions on Multimedia Computing, Communications, and Applications | 5.200 | ACM |
Electronics | 2.600 | MDPI |
International Journal of Knowledge Management | IGI Global | |
ACM Transactions on Parallel Computing | 0.900 | ACM |
Information Technology and Management | 2.300 | Springer |
Journal of Cloud Computing | Springer | |
Journal of Computer Information Systems | 2.500 | Taylor & Francis |
Language Learning & Technology | 3.800 | University of Hawaii Press |
Computational Mathematics and Modeling | Springer | |
Optical Memory and Neural Networks | 1.000 | Springer |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
TARK | International Conference on Theoretical Aspects of Rationality and Knowledge | 2012-09-20 | 2013-01-07 |
ECCV | European Conference on Computer Vision | 2024-03-07 | 2024-09-29 |
AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2024-10-09 | 2025-05-19 |
ASE | International Conference on Automated Software Engineering | 2024-05-31 | 2024-10-27 |
ISCMA | International Symposium on Computational Media Art | 2018-09-01 | 2019-01-04 |
WAT | International Workshop on Automation Technologies | 2022-11-15 | 2022-12-16 |
MIG | ACM SIGGRAPH conference on Motion, Interaction and Games | 2024-07-15 | 2024-11-21 |
ICETAC | International Conference on Electrical Technology and Automatic Control | 2021-10-08 | 2021-10-23 |
FMVIP | International Conference on Frontiers of Machine Vision and Image Processing | 2022-10-20 | 2022-11-18 |
ADHIP | EAI International Conference on Advanced Hybrid Information Processing | 2018-06-30 | 2018-10-05 |
推荐