Journal of Automated Reasoning
Jump to navigation
Jump to search
| 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 | J. Autom. Reason. |
| MathSciNet | J. Automat. Reason. |
| Indexing | |
| CODEN | JAREEW |
| ISSN | 0168-7433 (print) 1573-0670 (web) |
| LCCN | sf93093541 |
| OCLC no. | 263592661 |
| Links | |
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]
The journal is published by Springer Science+Business Media. As of 2021, the editor-in-chief is Jasmin Blanchette, a professor of theoretical computer science at the Ludwig-Maximilians-Universität München. 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]
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).