#5, First Floor, 4th Street , Dr. Subbarayan Nagar Kodambakkam, Chennai-600 024 pro@slogix.in

Office Address

  • #5, First Floor, 4th Street Dr. Subbarayan Nagar Kodambakkam, Chennai-600 024 Landmark : Samiyar Madam
  • pro@slogix.in
  • +91- 81240 01111

Social List

Journal of Automated Reasoning

About:

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:

Print ISSN:  0168-7433

Electronic ISSN:   1573-0670

Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2020:  1.431
Subject Area and Category:  Computer Sciences, Mathematics
Publication Frequency:  Bimonthly
H Index:  56
Best Quartile:

Q1:  

Q2:  Artificial Intelligence,Computational Theory and Mathematics

Q3:  

Q4:  

Journal Home:  Journal Homepage
Cite Score:  3.8
SNIP:  1.9369999999999998
Journal Rank(SJR):  0.497
Publisher & Country:

Publisher:  Springer

Country:   Netherlands