Journal of Automated Reasoning

Journal of Automated Reasoning
DisciplineComputer science
LanguageEnglish
Edited byJasmin Blanchette
Publication details
History1983–present
Publisher
Frequency8/year
1.431 (2019)
Standard abbreviations
ISO 4J. Autom. Reason.
MathSciNetJ. Automat. Reason.
Indexing
CODENJAREEW
ISSN0168-7433 (print)
1573-0670 (web)
LCCNsf93093541
OCLC no.263592661
Links

The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic.[2]

The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, a professor of theoretical computer science at the Ludwig-Maximilians-Universität München. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.[3]

  1. ^ Robert Veroff (1997), Automated reasoning and its applications, MIT Press, ISBN 9780262220552
  2. ^ Allen B. Tucker (28 June 2004), Computer science handbook, CRC Press, ISBN 9780203494455
  3. ^ "Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.