Journal of Automated Reasoning

ISSNs: 0168-7433, 1573-0670

Springer Netherlands

Scopus rating (2018): CiteScore 2.41 SJR 0.703 SNIP 2.022

Journal

Publications

Discover related content

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

View graph of relations