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.
| Indexations |
ncbi
ulakbim
sci
|
|---|---|
| Nom Abrégé | Journal of Automated Reasoning |
| Nom Abrégé | j autom reason |
| ISSN | 0168-7433 |
| Objectifs et Portée |
|
| URL | |
| Instructions aux Auteurs |
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