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 |