当前位置: X-MOL首页最新SCI期刊查询及投稿分析系统 › Journal of Automated Reasoning杂志
Journal of Automated Reasoning
基本信息
期刊名称 Journal of Automated Reasoning
J AUTOM REASONING
期刊ISSN 0168-7433
期刊官方网站 https://www.springer.com/10817
是否OA No
出版商 Springer Netherlands
出版周期 Bimonthly
文章处理费 登录后查看
始发年份 1985
年文章数 38
最新影响因子 0.9(2023)  scijournal影响因子  greensci影响因子
中科院SCI期刊分区
大类学科 小类学科 Top 综述
工程技术4区 COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能4区
CiteScore
CiteScore排名 CiteScore SJR SNIP
学科 排名 百分位 3.6 0.873 1.612
Computer Science
Computational Theory and Mathematics
67/176 62%
Computer Science
Artificial Intelligence
196/350 44%
Computer Science
Software
233/407 42%
补充信息
自引率 11.1%
H-index 49
SCI收录状况 Science Citation Index Expanded
官方审稿时间 登录后查看
网友分享审稿时间 数据统计中,敬请期待。
接受率 登录后查看
PubMed Central (PMC) http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0168-7433%5BISSN%5D
投稿指南
期刊投稿网址 https://submission.nature.com/new-submission/10817/3
收稿范围
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.
收录体裁
投稿指南 https://link.springer.com/journal/10817/submission-guidelines
投稿模板
参考文献格式
编辑信息

Editor-in-Chief

Tobias Nipkow,Technical University Munich, Germany


Editorial Board

Jeremy Avigad, Carnegie Mellon University, USA

Franz Baader, Technical University Dresden, Germany

Gilles Barthe, IMDEA Software Institute, Spain

David Basin, ETH Zürich, Switzerland

Armin Biere, Johannes Kepler University, Austria

Nikolaj Bjørner, Microsoft Research, Redmond, USA

Diego Calvanese, Free University of Bozen-Bolzano, Italy

Thomas Eiter, Technical University of Vienna, Austria

Amy Felty, University of Ottawa, Canada

Silvio Ghilardi, Università degli Studi di Milano, Italy

Reiner Hähnle, Technical University Darmstadt, Germany

John Harrison, Amazon, USA

Deepak Kapur, University of New Mexico, USA

K. Rustan M. Leino, Amazon, Seattle, USA

Xavier Leroy, INRIA Paris - Rocquencourt, France

Assia Mahboubi, INRIA, LS2N, Université de Nantes, France

Aart Middeldorp, University of Innsbruck, Austria

Dale Miller, LIX, École Polytechnique, France

Robert Nieuwenhuis, Technical University of Catalonia, Spain

Michael Norrish, CSIRO, Kensington, Australia

Lawrence C. Paulson, University of Cambridge, UK

Andreas Podelski, University of Freiburg, Germany

Ulrike Sattler, University of Manchester, UK

Renate A. Schmidt, University of Manchester, UK

Natarajan Shankar, SRI International, USA

Cesare Tinelli, University of Iowa, USA

Toby Walsh, National ICT Australia, Australia

Christoph Weidenbach, Max-Planck-Institute for Informatics, Germany

Hongseok Yang, KAIST, Daejeon, South Korea


Founding Editor

Larry Wos, Argonne National Laboratory, USA


我要分享  (欢迎您来完善期刊的资料,分享您的实际投稿经验)
研究领域:
投稿录用情况: 审稿时间:  个月返回审稿结果
本次投稿点评:
提交
down
wechat
bug