Journal of Automated Reasoning
About
The 1.1k papers published in Journal of Automated Reasoning in the last decades have received a total of 13.1k indexed citations.
Papers published in Journal of Automated Reasoning usually cover Artificial Intelligence (928 papers), Computational Theory and Mathematics (660 papers) and Computer Networks and Communications (172 papers) specifically the topics of Logic, programming, and type systems (687 papers), Logic, Reasoning, and Knowledge (466 papers) and Formal Methods in Verification (417 papers). The most active scholars publishing in Journal of Automated Reasoning are Lawrence C. Paulson, Geoff Sutcliffe, Larry Wos, Shang-Ching Chou and Christian Suttner.
In The Last Decade
Explore journals with similar magnitude of impact
Breakdown of academic impact, for papers in Psychology Research and Behavior Management Breakdown of academic impact, for papers in Journal of Healthcare Management Breakdown of academic impact, for papers in Climate Breakdown of academic impact, for papers in International Journal of Low-Carbon Technologies Breakdown of academic impact, for papers in Asian Spine Journal Breakdown of academic impact, for papers in Journal of Orthopaedics and Traumatology Breakdown of academic impact, for papers in Reflective Practice Breakdown of academic impact, for papers in Zoological studies