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)
1
Unique Visitors
1
Journal of Automated Reasoning
| 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
110 views
DOI
Abstract
2010
Vol. 46
, No. 3
, pp. 325-352
16 views
DOI