Dziennik automatycznego rozumowania
| Dyscyplina | Informatyka |
|---|---|
| Język | język angielski |
| Edytowany przez | Jaśmin Blanchette |
| Szczegóły publikacji | |
| Historia | 1983 – obecnie |
| Wydawca | |
| Częstotliwość | 8/rok |
| 1.431 (2019) | |
| Standardowe skróty | |
| ISO 4 | J. Autom. Powód. |
| MathSciNet | J. Automat. Powód. |
| Indeksowanie | |
| KOD | JAREEW |
| ISSN |
0168-7433 (druk) 1573-0670 (internet) |
| LCCN | sf93093541 |
| OCLC nr. | 263592661 |
| Spinki do mankietów | |
Journal of Automated Reasoning został założony w 1983 roku przez Larry'ego Wosa , który był jego redaktorem naczelnym do 1992 roku. Obejmuje badania i postępy w zautomatyzowanym rozumowaniu , mechaniczną weryfikację twierdzeń oraz inne dedukcje w logice klasycznej i nieklasycznej .
Czasopismo jest wydawane przez Springer Science+Business Media . Od 2021 roku redaktorem naczelnym jest Jasmin Blanchette , profesor nadzwyczajny informatyki na Vrije Universiteit Amsterdam . Wskaźnik wpływu czasopisma w 2019 r. wynosi 1,431 i jest indeksowany przez kilka serwisów indeksujących naukę, w tym Science Citation Index Expanded i Scopus .