Paperpal Prime Logo

Journal of Automated Reasoning : Impact Factor & More

eISSN: 1573-0670pISSN: 0168-7433

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 Paperpal by Editage

Topics Covered on Journal of Automated Reasoning

Journal of Automated Reasoning Journal Specifications

Overview
Publisher SPRINGER
Language English
Frequency Bi-monthly
General Details
LanguageEnglish
FrequencyBi-monthly
Publication Start Year1985
Publisher URLVisit website
Website URLVisit 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
Check your researchless than 30 sec
Free Report

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
The Relative Strength of #SAT Proof Systems
  • 1 Jan 2026
  • Journal of Automated Reasoning
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
  • 11 Apr 2026
  • Journal of Automated Reasoning
The Relative Strength of #SAT Proof Systems
  • 1 Jan 2026
  • Journal of Automated Reasoning
View all papers for this journal

FAQs on Journal of Automated Reasoning

Global Journal Library:

Paperpal Prime logo

Cactus Communications Services Pte Ltd
20 McCallum Street, #19-01, Tokio Marine Centre, Singapore 069046

We are with you every step of the way as you achieve your dreams - publication, everything that precedes it, and everything that comes after. You are much more than your last research project. It’s time you got more.

Instagram icon

USEFUL LINKS

EXCITED ABOUT RESEARCHER.LIFE?

We are always looking for inspiration, feedback, and collaborators

Write to us

Copyright 2026 Cactus Communications. All rights reserved.

Privacy PolicyCookies PolicyTerms of UseCareers
Check if your manuscript is a good match for
undefined

Upload your manuscript to get recommendations of journals
that have published papers similar to your manuscript


word doc icon
Drag and drop your file here
We accept manuscripts in English. File format: .doc and .docx | Maximum size: 10 MB | Word count: 200-300,000 words | File length: less than 100 pages

Do not have a manuscript right now? Use an abstract or summary

Your document is 100% secure & confidential

We use 256-bit encryption for total security and
ISO/IEC 27001:2013 Certified

What all does the report include
01. Degree of Match
02. Common Topics
03. Additional
Recommendations