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
Top journals impacted by papers in Sex Education Top countries impacted by papers in International Journal of Cultural Policy Top countries impacted by papers in Australian Endodontic Journal Top fields papers in Asia Pacific Journal of Human Resources are covering Top fields papers in Daedalus are covering Top fields papers in Journal of Ethology are covering Top fields papers in Expert Review of Hematology are covering Top countries impacted by papers in Pacific Science