Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Sources
Journal of Automated Reasoning
Home
Sources
Journal of Automated Reasoning
Journal of Automated Reasoning
Published by
Springer Science and Business Media LLC
ISSN 0168-7433
EISSN 1573-0670
Database Coverage
Scopus
SCIE
Ei Compendex
Scilit
Journal Articles
All-time journal articles
1,349
2023 journal articles
39
Latest Publications