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, 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]
References
- ^ Robert Veroff (1997), Automated reasoning and its applications, MIT Press, ISBN 9780262220552
- ^ Allen B. Tucker (28 June 2004), Computer science handbook, CRC Press, ISBN 9780203494455
- ^ "Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.
External links
Categories:
- Articles with short description
- Short description is different from Wikidata
- 8 times per year journals (infobox)
- Articles with outdated impact factors from 2019
- Official website different in Wikidata and Wikipedia
- Computer science journals
- Logic journals
- English-language journals
- Academic journals established in 1983
- Logic in computer science
- Formal methods publications
- Springer Science+Business Media academic journals