Journal of Automated Reasoning
Discipline | Computer science |
---|---|
Language | English |
Edited by | |
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. 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[]
- ^ Robert Veroff, Automated reasoning and its applications
- ^ Allen B. Tucker, Computer science handbook
- ^ "Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.
{{cite web}}
: CS1 maint: url-status (link)
External links[]
Categories:
- Computer science journals
- Logic journals
- English-language journals
- Publications established in 1983
- Logic in computer science
- Formal methods publications
- Springer Science+Business Media academic journals