The Journal of Automated Reasoning is a reputed indexed journal. The Journal is published by Springer Netherlands.
- Publisher: Springer Netherlands
- ISSN: 15730670, 01687433
- Journal Impact Factor: 0.7
- SJR: 0.313
- Journal Quartile: Q4
- Publication Language: ENG
- Indexing: Web of Science, UGC
- Open-Access: No
- Country of Publication: Netherlands
- H-Index: 66
- Publication Area: Artificial Intelligence (Q3); Computational Theory and Mathematics (Q3); Software (Q3)
Source: https://www.scopus.com/sourceid/24354