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.

  • Provides a forum for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications
  • Covers a wide range of automatic and interactive reasoning tools, including SAT and SMT solvers, automatic theorem provers based on superposition or tableaux, proof assistants, and program verifiers
  • Focuses on a range of theoretical and applied topics that involve logical reasoning by computer

Journal information

  • Jasmin Blanchette
Publishing model
Hybrid (Transformative Journal). Learn about publishing Open Access with us

Journal metrics

1.431 (2019)
Impact factor
1.445 (2019)
Five year impact factor
71 days
Submission to first decision
228 days
Submission to acceptance
50,106 (2020)

Latest articles

This journal has 85 open access articles


Note this is only the net price. Taxes will be calculated during checkout.
  • Immediate online access with complete access to all articles starting 1997
  • Downloadable in PDF format
  • Subscription expires 12/31/2021

About this journal

Electronic ISSN
Print ISSN
Abstracted and indexed in
  1. ACM Digital Library
  2. ANVUR
  3. CNKI
  4. DBLP
  5. Dimensions
  6. EBSCO Applied Science & Technology Source
  7. EBSCO Computer Science Index
  8. EBSCO Computers & Applied Sciences Complete
  9. EBSCO Discovery Service
  10. EBSCO Engineering Source
  11. EBSCO STM Source
  12. EI Compendex
  13. Google Scholar
  14. INSPEC
  15. Institute of Scientific and Technical Information of China
  16. Japanese Science and Technology Agency (JST)
  17. Journal Citation Reports/Science Edition
  18. Mathematical Reviews
  19. Naver
  20. OCLC WorldCat Discovery Service
  21. ProQuest Advanced Technologies & Aerospace Database
  22. ProQuest Central
  23. ProQuest Computer Science
  24. ProQuest Computer and Information Systems Abstracts
  25. ProQuest Engineering
  26. ProQuest Materials Science and Engineering Database
  27. ProQuest SciTech Premium Collection
  28. ProQuest Technology Collection
  29. ProQuest-ExLibris Primo
  30. ProQuest-ExLibris Summon
  31. SCImago
  32. SCOPUS
  33. Science Citation Index Expanded (SciSearch)
  34. TD Net Discovery Service
  35. UGC-CARE List (India)
  36. zbMATH
Copyright information

Rights and permissions

Springer policies

© Springer Nature B.V.