Транзакции ACM в вычислительной логике
| Дисциплина | Вычислительная логика |
|---|---|
| Язык | Английский |
| Отредактировано | Анудж Давар |
| Подробности публикации | |
| История | 2000 – настоящее время |
| Издатель | АКМ (США) |
| Частота | Ежеквартальный |
| 0.625 (2020) | |
| Стандартные сокращения | |
| ИСО 4 | АКМ Транс. Вычислить. Бревно. |
| Индексирование | |
| ISSN | 1529-3785 (печать) 1557-945X (Интернет) |
| Ссылки | |
ACM Transactions on Computational Logic ( ACM TOCL ) — это научный журнал, целью которого является распространение последних выдающихся результатов в области логики в информатике . Он издается Ассоциацией вычислительной техники , ведущим научным и образовательным обществом в области информатики и вычислительных технологий в США.
— Главный редактор Анудж Давар ( Кембриджский университет ). [1] Согласно Journal Citation Reports журнала в 2020 году составил , импакт-фактор 0,625. [2]
См. также [ править ]
- ACM SIGLOG ACM , специальная группа по вычислительной логике
Ссылки [ править ]
- ^ «Редакция» . Проверено 11 июня 2022 г.
- ^ «Транзакции ACM в вычислительной логике». Отчеты о цитировании журналов за 2020 год . Web of Science (Наука под ред.). Томсон Рейтер . 2021.