Journal of Automated Reasoning
Academic journal / From Wikipedia, the free encyclopedia
The Journal of Automated Reasoning was established in 1983 by Larry Wos, who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning, mechanical verification of theorems, and other deductions in classical and non-classical logic.[2]
Quick Facts Discipline, Language ...
Discipline | Computer science |
---|---|
Language | English |
Edited by | Jasmin Blanchette |
Publication details | |
History | 1983–present |
Publisher | |
Frequency | 8/year |
1.431 (2019) | |
Standard abbreviations ISO 4 (alt) · Bluebook (alt1 · alt2) NLM (alt) · MathSciNet (alt ) | |
ISO 4 | J. Autom. Reason. |
MathSciNet | J. Automat. Reason. |
Indexing CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus | |
CODEN | JAREEW |
ISSN | 0168-7433 (print) 1573-0670 (web) |
LCCN | sf93093541 |
OCLC no. | 263592661 |
Links | |
Close
The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, an associate professor of computer science at the Vrije Universiteit Amsterdam. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.[3]