Journal of Automated Reasoning : Impact Factor & More
eISSN: 1573-0670pISSN: 0168-7433
Share this on:
Aims and Scope of Journal of Automated Reasoning
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. Less
Key Metrics
CiteScore 
4.2
Impact Factor
< 5
SJR
Q2Software
SNIP
1.41
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Journal of Automated Reasoning
Journal of Automated Reasoning Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1985 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Journal of Automated Reasoning ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Journal of Automated Reasoning
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
- 11 Apr 2026
- Journal of Automated Reasoning
Targeting Completeness: Automated Complexity Analysis of Integer Programs
- 4 Apr 2026
- Journal of Automated Reasoning
Combining Combination Properties, Part I: Nelson-Oppen and Politeness
- 23 Dec 2025
- Journal of Automated Reasoning
Candle: A Verified Implementation of HOL Light (Extended Version)
- 1 Dec 2025
- Journal of Automated Reasoning
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL
- 18 Nov 2025
- Journal of Automated Reasoning
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
- 12 Nov 2025
- Journal of Automated Reasoning
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
- 11 Apr 2026
- Journal of Automated Reasoning
Targeting Completeness: Automated Complexity Analysis of Integer Programs
- 4 Apr 2026
- Journal of Automated Reasoning
Combining Combination Properties, Part I: Nelson-Oppen and Politeness
- 23 Dec 2025
- Journal of Automated Reasoning
Candle: A Verified Implementation of HOL Light (Extended Version)
- 1 Dec 2025
- Journal of Automated Reasoning
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL
- 18 Nov 2025
- Journal of Automated Reasoning
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
- 12 Nov 2025
- Journal of Automated Reasoning
FAQs on Journal of Automated Reasoning
How long has Journal of Automated Reasoning been actively publishing? 
What is the publishing frequency of Journal of Automated Reasoning?
How many articles did Journal of Automated Reasoning publish last year?
What is the eISSN & pISSN for Journal of Automated Reasoning?
What is Citescore for Journal of Automated Reasoning?
What is SNIP score for Journal of Automated Reasoning?
What is the SJR for Journal of Automated Reasoning?
Who is the publisher of Journal of Automated Reasoning?
