Journal of Automated Reasoning

• Print-ISSN 1687433
• E-ISSN 15730670
• Active or Inactive Active
• Article language in source(three-letter ISO language codes) ENG
• Publisher's Name Kluwer Academic Publishers
• Publisher imprints grouped to main Publisher Springer Nature
• Publisher's Country Netherlands
• All Science Classification Codes (ASJC) Artificial Intelligence
• All Science Classification Codes (ASJC) Computational Theory and Mathematics
• All Science Classification Codes (ASJC) Software
• 2016 CiteScore 2.25
• 2016 SJR 0.859
• 2016 SNIP 2.079