The Journal of Automated Reasoning is published by 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).
| 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.
| Journal Title | Journal of Automated Reasoning |
|---|---|
| Publisher | Springer Netherlands |
| ISSN | 15730670, 01687433 |
| H-Index | 58 |
| Country of Publisher | Springer Netherlands |
| Type | journal |
| Journal Scope | Artificial Intelligence (Q2); Computational Theory and Mathematics (Q2); Software (Q2) |
Please visit the official website of journal of automated reasoning. Read the instructions for authors and make your submission.