Войти
| Дисциплина | Компьютерная наука |
|---|---|
| Язык | английский |
| Под редакцией по | Жасмин Бланшетт |
| Детали публикации | |
| История | 1983 – настоящее время |
| Издатель | Springer Science + Business Media |
| Частота | 8 / год |
| Фактор воздействия | 1.431 (2019) |
Стандартные сокращения ISO 4 ( alt ) Bluebook ( alt1 alt2 ) NLM ( alt ) MathSciNet ( alt  ) | |
| ISO 4 | J. Autom. Причина. |
| MathSciNet | J. Automat. Причина. |
| Индексирование CODEN JSTOR ( alt ) LCCN ( alt ) MIAR NLM ( alt ) Scopus | |
| 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.
