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