The Journal of Automated Reasoning was established in 1983 by Larry Wos

Larry Wos

Larry Wos is a mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratories.Wos studied at the University of Chicago, receiving a bachelor's degree in 1950 and a master's in mathematics in 1954, and went on for doctoral studies at the University of...

 who was its editor in chief

Editor in chief

An editor-in-chief is a publication's primary editor, having final responsibility for the operations and policies. Additionally, the editor-in-chief is held accountable for delegating tasks to staff members as well as keeping up with the time it takes them to complete their task...

 until 1992. It covers research and advances in automated reasoning

Automated reasoning

Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...

 — mechanical verification of theorem

Theorem

In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms...

s and other deductions in classical and non-classical logic

Logic

In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...

.

The journal is published by Springer

Springer Science+Business Media

- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...

. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's impact factor

Impact factor

The impact factor, often abbreviated IF, is a measure reflecting the average number of citations to articles published in science and social science journals. It is frequently used as a proxy for the relative importance of a journal within its field, with journals with higher impact factors deemed...

 in 2009 was 1.926, and it is indexed by several science indexing services, including DBLP

DBLP

DBLP is a computer science bibliography website hosted at Universität Trier, in Germany. It was originally a database and logic programming bibliography site, and has existed at least since the 1980s. DBLP listed more than 1.3 million articles on computer science in January 2010...

, the Science Citation Index

Science Citation Index

The Science Citation Index is a citation index originally produced by the Institute for Scientific Information and created by Eugene Garfield in 1960, which is now owned by Thomson Reuters. The larger version covers more than 6,500 notable and significant journals, across 150 disciplines, from ...

 and SCOPUS

Scopus

Scopus, officially named SciVerse Scopus, is a bibliographic database containing abstracts and citations for academic journal articles. It covers nearly 18,000 titles from over 5,000 international publishers, including coverage of 16,500 peer-reviewed journals in the scientific, technical, medical,...

.