Journal of Automated Reasoning
in Journal Posted on November 4, 2020Journal Ranking & Metrics
Impact Score : | 3.3 |
G2R H-Index : | 11 |
JCR Impact Factor : | 1.431 |
Scopus Citescore : | 3.8 |
SCIMAGO SJR : | 0.701 |
SCIMAGO H-index : | 53 |
Guide2Research Overall Ranking : | 528 |
Journal Information
ISSN : | 0168-7433 |
Publisher : |
![]() |
Periodicity : | Bimonthly |
Editors-in-Chief : | Tobias Nipkow |
Journal & Submission Website : | https://www.springer.com/journal/10817 |
Top Scientists who published in this Journal
Number of top scientists* : | 20 |
Documents published by top scientists* : | 27 |
* Based on data published during the last three years. |
Aims & Scope of the Journal
Journal of Automated Reasoning publishes academic papers examining novel fundamental contributions in the areas of Computational Theory and Mathematics, General Computer Science and Machine Learning & Artificial intelligence. The publication process for Journal of Automated Reasoning is to publish novel original articles that have been appropriately reviewed by skilled academic peers. The journal welcomes submissions from the research community where emphasis will be placed on the innovativeness and the practical significance of the reported work.
Journal of Automated Reasoning is covered by various abstracting/indexing services including Scopus, Journal Citation Reports ( Clarivate ) and Guide2Research. A number of prominent researchers considered this journal to publish their scholarly documents including Jürgen Giesl, Sanjit A. Seshia, Lawrence Paulson and Bijan Parsia.
For additional information on the instructions and submission requirements for authors, you are advised to consult the journal website for Journal of Automated Reasoning at https://www.springer.com/journal/10817 .