Journal of Automated Reasoning - Journal of Automated Reasoning
| Dyscyplina | Informatyka |
|---|---|
| Język | język angielski |
| Edytowane przez | Jasmin 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 | |
| CODEN | JAREEW |
| ISSN |
0168-7433 (druk) 1573-0670 (internet) |
| LCCN | sf93093541 |
| OCLC no. | 263592661 |
| Spinki do mankietów | |
) Journal of Automated rozumowania została założona w 1983 roku przez Larry'ego Woś , który był jego redaktorem naczelnym aż do roku 1992. Obejmuje ona badania i postęp w zautomatyzowanym rozumowania - mechaniczne weryfikację twierdzeń i innych potrąceń w klasycznej i nie-klasycznej logiki .
Czasopismo jest wydawane przez Springer Science + Business Media . Od 2021 roku redaktorem naczelnym jest Jasmin Blanchette. Współczynnik wpływu czasopisma na 2019 r. Wynosi 1,431 i jest indeksowany przez kilka usług indeksowania nauki, w tym Science Citation Index Expanded i Scopus .