Journal of Automated Reasoning

Published by Springer Nature

ISSN 0168-7433EISSN 1573-0670
Database Coverage
  • Scopus
  • SCIE
  • Ei Compendex
  • Inspec
  • Scilit
Journal Articles
All-time journal articles
1,368
2024 journal articles
24

Latest Publications