Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, primarily in implementation, or in specific research and industrial applications.
Journal Home:  Journal Homepage
Editor-in-Chief:  Tobias Nipkow
scope: The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof its logical properties to a detailed account of a computer program designed to solve various problems in industry.
Print ISSN:  0168-7433
Electronic ISSN:   1573-0670
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  1.150
Subject Area and Category:  Computer Sciences, Mathematics
Publication Frequency:  Bimonthly
H Index:  56
Q1:  
Q2:  Software
Q3:  
Q4:  
Cite Score:  4.2
SNIP:  1.411
Journal Rank(SJR):  0.93
Latest Articles:   Latest Articles in Journal of Automated Reasoning
Guidelines for Authors: Journal of Automated Reasoning Author Guidelines
Paper Submissions: Paper Submissions in Journal of Automated Reasoning
Publisher:  Springer
Country:   Netherlands