|Abbreviated title (ISO 4) J. Autom. Reason.|
Publication history 1983-present
|Discipline Computer science|
Edited by Tobias Nipkow
|Publisher Springer Science+Business Media|
The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.
The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.