Explore All Access
Check if your research matches the topics covered in Journal of Automated Reasoning?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Journal of Automated Reasoning : Impact Factor & More
eISSN: 1573-0670pISSN: 0168-7433
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Aims and Scope
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
Journal of Automated Reasoning Key Metrics
CiteScore 
4.2
Impact Factor
< 5
SJR
Q2Software
SNIP
1.41
Time to Publish
View Chart Mo
Time to Publish
Sign up now and unlock a detailed chart of Time to publish for this journal
% of papers by time taken from submission to publication
0 to 3 months3%
4 to 6 months7%
7 to 9 months17%
Above 9 months73%
Did you find this useful?
Topics Covered on Journal of Automated Reasoning
Higher-order logic
Geometric theorem
Software verification
Conflict-Driven Clause Learning
Winding number
System of linear equations
Proof assistant
Calculus
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
Investigations into Proof Structures
- 29 Oct 2024
- Journal of Automated Reasoning
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
- 24 Oct 2024
- Journal of Automated Reasoning
Windmills of the Minds: A Hopping Algorithm for Fermat’s Two Squares Theorem
- 21 Oct 2024
- Journal of Automated Reasoning
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
- 19 Oct 2024
- Journal of Automated Reasoning
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant
- 12 Sep 2024
- Journal of Automated Reasoning
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
- 14 Aug 2024
- Journal of Automated Reasoning
Investigations into Proof Structures
- 29 Oct 2024
- Journal of Automated Reasoning
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
- 24 Oct 2024
- Journal of Automated Reasoning
Windmills of the Minds: A Hopping Algorithm for Fermat’s Two Squares Theorem
- 21 Oct 2024
- Journal of Automated Reasoning
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
- 19 Oct 2024
- Journal of Automated Reasoning
Single-Set Cubical Categories and Their Formalisation with a Proof Assistant
- 12 Sep 2024
- Journal of Automated Reasoning
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
- 14 Aug 2024
- Journal of Automated Reasoning
Compare Similar Journals with Journal of Automated Reasoning
Select Journals to Compare with Journal of Automated Reasoning
Total journals - 9
You can select up to 3 Journals at a time
Science of Computer Programming
Publisher: ELSEVIER
Lecture Notes in Computer Science
Publisher: Springer Nature
Theory of Computing Systems
Publisher: SPRINGER
Argument and Computation
Publisher: IOS PRESS
Production and Operations Management
Publisher: WILEY
Journal of Functional Programming
Publisher: CAMBRIDGE UNIV PRESS
Acta Informatica
Publisher: SPRINGER
Big Data
Publisher: MARY ANN LIEBERT, INC
International Transactions in Operational Research
Publisher: WILEY
0 Journals Selected to compare with
Journal of Automated Reasoning
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Journal of Automated Reasoning
How long has Journal of Automated Reasoning been actively publishing? 
Journal of Automated Reasoning has been in operation since 1985 till date.
What is the publishing frequency of Journal of Automated Reasoning?
Journal of Automated Reasoning published with a Bi-monthly frequency.
How many articles did Journal of Automated Reasoning publish last year?
In 2023, Journal of Automated Reasoning publsihed 39 articles.
What is the eISSN & pISSN for Journal of Automated Reasoning?
For Journal of Automated Reasoning, eISSN is 1573-0670 and pISSN is 0168-7433.
What is Citescore for Journal of Automated Reasoning?
Citescore for Journal of Automated Reasoning is 4.2.
What is SNIP score for Journal of Automated Reasoning?
SNIP score for Journal of Automated Reasoning is 1.41.
What is the SJR for Journal of Automated Reasoning?
SJR for Journal of Automated Reasoning is Q2.
Who is the publisher of Journal of Automated Reasoning?
SPRINGER is the publisher of Journal of Automated Reasoning.
