Journal of Automated Reasoning
ISSNs: 0168-7433
Weitere durchsuchbare ISSN (elektronisch): 1573-0670
Springer, Dordrecht [u. a.]
Scopus-Bewertung (2024): CiteScore 3,1 SJR 0,616 SNIP 1,149
Fachzeitschrift: Zeitschrift
| Titel |
|
|---|---|
| ISSNs | 0168-7433 |
| Weitere durchsuchbare ISSN (elektronisch) | 1573-0670 |
| Verlag | Springer, Dordrecht [u. a.] |
| ZDB-ID | 51516-4 |
| ZDB-ID | 1479376-3 |