Journals

Accounting

UGC CARE  Scopus 

Agricultural Sciences

UGC CARE  Scopus 

Biology

UGC CARE  Scopus 

Arts & Humanities

UGC CARE  Scopus 

Biochemistry

UGC CARE  Scopus 

Business & Management

UGC CARE  Scopus  SCI

Chemistry

UGC CARE  Scopus 

Computer Science

UGC CARE  Scopus

Dentistry

UGC CARE  Scopus

Economics

UGC CARE  Scopus

Engineering

UGC CARE  Scopus

Environmental Sciences

UGC CARE  Scopus

Finance

UGC CARE  Scopus

Mathematics

UGC CARE  Scopus

Multidisciplinary

UGC CARE  Scopus

Nursing

UGC CARE  Scopus

Physics

UGC CARE  Scopus

Social Sciences

UGC CARE  Scopus  SCI



Journal Of Automated Reasoning



The Journal of Automated Reasoning is published by the Springer Netherlands. The ISSN of this journal is 15730670, 01687433. The journal publishes research in the field related to Artificial Intelligence (Q2); Computational Theory and Mathematics (Q2); Software (Q2).

Journal Of Automated Reasoning Ranking

Overall Rank 6301
Impact Score 1.46
SJR 0.77
Quartile Q2

The Impact Score of an academic journal is a measure reflecting the yearly average number of citations to recent articles published in that journal.

Each subject category of journals is divided into four quartiles: Q1, Q2, Q3 & Q4. Q1 means ranking among the top 25% of journals in the same field.

Other Important Details

Journal Title Journal of Automated Reasoning
Publisher Springer Netherlands
ISSN 15730670, 01687433
H-Index 58
Type journal
Journal Scope Artificial Intelligence (Q2); Computational Theory and Mathematics (Q2); Software (Q2)

How to publish in journal of automated reasoning?

Please visit the official website of journal of automated reasoning. Read the instructions for authors and make your submission.