期刊信息

Journal of Automated Reasoning

请登录查看期刊网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
注册 登录
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。
影响因子:
0.8
出版商:
Springer
ISSN:
0168-7433
浏览:
26151
关注:
4

征稿

Journal of Automated Reasoning is an academic journal published by Springer. (ISSN 0168-7433, impact factor 0.8, CCF B).

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 最后更新于

相关期刊

相关会议

评论 0

暂无评论。

请登录后发表评论