Журнал автоматических рассуждений - Journal of Automated Reasoning
| Дисциплина | Компьютерная наука |
|---|---|
| Язык | английский |
| Под редакцией по | Жасмин Бланшетт |
| Детали публикации | |
| История | 1983 – настоящее время |
| Издатель | |
| Частота | 8 / год |
| 1.431 (2019) | |
| Стандартные сокращения | |
| ISO 4 | J. Autom. Причина. |
| MathSciNet | J. Automat. Причина. |
| Индексирование | |
| CODEN | ЖАРЕЙ |
| ISSN |
0168-7433 (печать) 1573-0670 (Интернет) |
| LCCN | sf93093541 |
| OCLC нет. | 263592661 |
| Ссылки | |
) Журнал Automated Рассуждение была создана в 1983 году Ларри СУВ , который не был его главным редактором до 1992 года охватывает научные исследования и достижения в автоматизированном рассуждениях - механическая проверка теорем и других удержаний в классической и неклассической логики .
Журнал издается Springer Science + Business Media . С 2021 года главным редактором является Жасмин Бланшетт. Импакт-фактор журнала на 2019 год составляет 1,431, и он индексируется несколькими службами индексации научных данных, включая Science Citation Index Expanded и Scopus .