Weiter zum Inhalt Weiter zur Fußzeile

Journal of Automated Reasoning

ISSNs: 0168-7433

Weitere durchsuchbare ISSN (elektronisch): 1573-0670

Springer, Dordrecht [u. a.]

Scopus-Bewertung (2023): CiteScore 3,6 SJR 0,873 SNIP 1,612

Fachzeitschrift: Zeitschrift

Titel
  • Journal of Automated Reasoning
  • Journal of automated reasoning
ISSNs0168-7433
Weitere durchsuchbare ISSN (elektronisch)1573-0670
VerlagSpringer, Dordrecht [u. a.]
ZDB-ID51516-4
ZDB-ID1479376-3

Verknüpfte Inhalte