Journal of Automated Reasoning

ISSNs: 0168-7433, 1573-0670

Springer Netherlands

Scopus rating (2019): CiteScore 3.8 SJR 0.701 SNIP 1.937

Journal

Publications

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations