Journal Ranking
Unranked
Not Yet Ranked
Quality metrics need to be calculated to establish ranking.
Sign In to Calculate Scores
Authentication required
Recent Activity
Page Views (30d)
4
Unique Visitors
4
Journal of Automated Reasoning
Login or register to claim ownership or editorship of this journal.
| Indexings |
ncbi
ulakbim
sci
|
|---|---|
| Short Name | Journal of Automated Reasoning |
| Abbreviated Name | j autom reason |
| ISSN | 0168-7433 |
| Aim and Scope |
|
| URL | |
| Author Instructions |
Publications Per Year
Recent Articles (2 total)
2020
Vol. 64
, No. 5
, pp. 827-856
112 views
DOI
Abstract
2010
Vol. 46
, No. 3
, pp. 325-352
17 views
DOI