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

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.

References

External links

  • Official website

Automated Reasoning Definition DeepAI

Sub areas of Automated Reasoning [22] Download Scientific Diagram

Handbook of Automated Reasoning Buy Handbook of Automated Reasoning

Handbook of Automated Reasoning Alchetron, the free social encyclopedia

Journal of Automated Reasoning Springer Impact Factor SLogix