Journal of Automated Reasoning

ISSNs: 0168-7433

Additional searchable ISSN (Electronic): 1573-0670

Springer Verlag

Scopus rating (2017): CiteScore 2.36 SJR 0.65 SNIP 2.005, Web of Science (2018): Indexed yes

Local database

Journal

View graph of relations

ID: 143091540

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word