ISSNs: 0168-7433, 1573-0670
Springer Netherlands
Scopus rating (2020): CiteScore 4.6 SJR 0.497 SNIP 1.759
Journal
Article in Journal of Automated Reasoning
Article in Journal of Automated Reasoning
Article in Journal of Automated Reasoning
Article in Journal of Automated Reasoning
Find related publications, people, projects, datasets and more using interactive charts.