Журнал автоматизированного рассуждения
| Дисциплина | Информатика |
|---|---|
| Язык | Английский |
| редакцией Под | Жасмин Бланшетт |
| Подробности публикации | |
| История | 1983 – настоящее время |
| Издатель | |
| Частота | 8/год |
| 1.431 (2019) | |
| Стандартные сокращения | |
| ИСО 4 | Дж. Автомат. Причина. |
| MathSciNet | Дж. Автомат. Причина. |
| Индексирование | |
| КОДЫ | ДЖАРИВ |
| ISSN | 0168-7433 (распечатать) 1573-0670 (Интернет) |
| LCCN | sf93093541 |
| OCLC нет. | 263592661 |
| Ссылки | |
Журнал автоматического рассуждения был основан в 1983 году Ларри Восом , который был его главным редактором до 1992 года. [1] Он охватывает исследования и достижения в области автоматизированных рассуждений , механической проверки теорем и других выводов в классической и неклассической логике . [2]
Журнал издается издательством Springer Science+Business Media . С 2021 года главным редактором является Жасмин Бланшетт , профессор теоретической информатики Мюнхенского университета Людвига-Максимилиана . журнала в 2019 году Импакт-фактор составляет 1,431, и он индексируется несколькими службами научного индексирования, включая Science Citation Index Expanded и Scopus . [3]
Ссылки [ править ]
- ^ Роберт Верофф (1997), Автоматизированное рассуждение и его приложения , MIT Press, ISBN 9780262220552
- ^ Аллен Б. Такер (28 июня 2004 г.), Справочник по информатике , CRC Press, ISBN 9780203494455
- ^ «Журнал автоматизированных рассуждений» . Спрингер . Проверено 11 января 2021 г.