Journal of Automated Reasoning

pISSN: 0168-7433

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.

Key Metrics

4.6
CiteScore
Q2 Software
SJR
1.76
SNIP

Indexed in the following public directories

  • Web of Science
  • Scopus

Topics Covered

Journal Specifications

Overview
  • Publisher Springer Nature
  • Language English
  • Frequency Bi-monthly
General Details
  • Language English
  • Frequency Bi-monthly
  • Publication Start Year 1985
  • Publisher URL Visit website

Planning to publish in Journal of Automated Reasoning ?

Upload your Manuscript to get

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

Looking for the right journals to submit your mansucript?

Upload your manuscript and get a submission readiness score and other journal recommendations.

Check my Paper

Recently Published Papers

Scite analysis

Powered by scite_

1.3k articles received 17k citations see all

  • 72 Supporting
  • 16,700 Mentioning
  • 7 Contrasting

Editorial notices

  • 0 Retractions
  • 0 Withdrawals
  • 5 Corrections
  • 1 Errata
  • 0 Expression of Concern

FAQs

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 years ?

In 2021, Journal of Automated Reasoning published 29 articles.

What is Citescore for Journal of Automated Reasoning ?

Citescore for Journal of Automated Reasoning is 4.6.

What is SNIP score for Journal of Automated Reasoning ?

SNIP score for Journal of Automated Reasoning is 1.76.

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 Nature is the publisher of Journal of Automated Reasoning.