Journal of Automated Reasoning

Show Articles
Journal Properties
  • Country
    Netherlands
  • Language
    English
  • Number of Articles
    1,108
  • Abbreviation
    J Automat Reason
  • Journal ISSN
    0168-7433
  • Journal e-ISSN
    1573-0670
  • Main Publisher
    Springer Nature
  • Publisher
    Springer Science and Business Media LLC
  • Indian UGC
  • DOAJ (latest)
Journal Properties
  • Science
    Mathematics
    Instruments and machines
    Electronic computers
    Computer science
  • website