Journal of Automated Reasoning
ISSNs: 0168-7433
Additional searchable ISSN (electronic): 1573-0670
Springer, Dordrecht [u. a.]
Scopus rating (2023): CiteScore 3.6 SJR 0.873 SNIP 1.612
Journal
Titles |
|
---|---|
ISSNs | 0168-7433 |
Additional searchable ISSN (electronic) | 1573-0670 |
Publisher | Springer, Dordrecht [u. a.] |
ZDB-ID | 51516-4 |
ZDB-ID | 1479376-3 |