Journal of Automated Reasoning : Impact Factor & More

eISSN: 1573-0670pISSN: 0168-7433

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
time-to-publish View Chart
13
 Mo

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
LanguageEnglish
FrequencyBi-monthly
Publication Start Year1985
Publisher URLVisit website
Website URLVisit website
View less
NEW

Submissions Pack

Expert Services + AI tools

One subscription packed with expert publication services and AI tools to get you published

Brought to you by
  • Journal Selection Service

    Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.

  • Journal Submission Service

    Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission

Bundle of AI tools for your research needs

Journal Finder, Paperpal, R Discovery, MindTheGraph and more

View benefits in detail

Buy now for a special Launch price!

$199
$249
Time to Publish
% of papers by time taken from submission to publication
0 to 3 months
3%
4 to 6 months
7%
7 to 9 months
17%
Above 9 months
73%

Planning to publish in Journal of Automated Reasoning ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Free Report

Recently Published Papers in 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

Check if your research matches the topics covered in Journal of Automated Reasoning?

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your research

FAQs on Journal of Automated Reasoning

How long has Journal of Automated Reasoning been actively publishing? Faqs

Journal of Automated Reasoning has been in operation since 1985 till date.

What is the publishing frequency of Journal of Automated Reasoning? Faqs

Journal of Automated Reasoning published with a Bi-monthly frequency.

How many articles did Journal of Automated Reasoning publish last year? Faqs

In 2023, Journal of Automated Reasoning publsihed 34 articles.

What is the eISSN & pISSN for Journal of Automated Reasoning? Faqs

For Journal of Automated Reasoning, eISSN is 1573-0670 and pISSN is 0168-7433.

What is Citescore for Journal of Automated Reasoning? Faqs

Citescore for Journal of Automated Reasoning is 4.2.

What is SNIP score for Journal of Automated Reasoning? Faqs

SNIP score for Journal of Automated Reasoning is 1.41.

What is the SJR for Journal of Automated Reasoning? Faqs

SJR for Journal of Automated Reasoning is Q2.

Who is the publisher of Journal of Automated Reasoning? Faqs

SPRINGER is the publisher of Journal of Automated Reasoning.