Journal of Automated Reasoning

ISSNs: 0168-7433, 1573-0670

Springer Netherlands

Scopus rating (2020): CiteScore 4.6 SJR 0.497 SNIP 1.759

Journal

Publications

Discover related content

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

View graph of relations