Journal of Automated Reasoning
| Disciplin | Datavetenskap |
|---|---|
| Språk | engelsk |
| Redigerad av | Jasmin Blanchette |
| Publiceringsinformation | |
| Historia | 1983 – nutid |
| Utgivare | |
| Frekvens | 8/år |
| 1 431 (2019) | |
| Standardförkortningar | |
| ISO 4 | J. Autom. Anledning. |
| MathSciNet | J. Automat. Anledning. |
| Indexering | |
| CODEN | JAREEW |
| ISSN |
0168-7433 (tryckt) 1573-0670 (webb) |
| LCCN | sf93093541 |
| OCLC nr. | 263592661 |
| Länkar | |
Journal of Automated Reasoning grundades 1983 av Larry Wos , som var dess chefredaktör fram till 1992. Den täcker forskning och framsteg inom automatiserat resonemang , mekanisk verifiering av teorem och andra slutsatser inom klassisk och icke-klassisk logik .
Tidskriften publiceras av Springer Science+Business Media . Från och med 2021 är chefredaktören Jasmin Blanchette , docent i datavetenskap vid Vrije Universiteit Amsterdam . Tidskriftens effektfaktor för 2019 är 1,431, och den är indexerad av flera vetenskapsindexeringstjänster, inklusive Science Citation Index Expanded och Scopus .