Journal of Automated Reasoning

  • 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.

+ 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.

  • Tobias Nipkow

+ Editor-in-Chief
  • Tobias Nipkow

  • Print ISSN: 0168-7433

    Electronic ISSN: 1573-0670

+ ISSN
  • Print ISSN: 0168-7433

    Electronic ISSN: 1573-0670

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 2.113

+ Impact Factor
  • Impact Factor 2015: 2.113


  • Computer Sciences, Mathematics

+ Subject Area and Category
  • Computer Sciences, Mathematics

  • Publisher: Springer

    Country: Netherlands

+ Publisher & Country
  • Publisher: Springer

    Country: Netherlands