Транзакции ACM по вычислительной логике - ACM Transactions on Computational Logic
| Дисциплина | Вычислительная логика |
|---|---|
| Язык | английский |
| Отредактировано к | Орна Купферман |
| Детали публикации | |
| История | 2000 – настоящее время |
| Издатель | ACM (Соединенные Штаты) |
| Частота | Ежеквартальный |
| Стандартные сокращения | |
| ISO 4 | ACM Trans. Comput. Бревно. |
| Индексирование | |
| ISSN | 1529-3785 (Распечатать) 1557-945X (Интернет) |
| Ссылки | |
)Транзакции ACM по вычислительной логике (ACM TOCL) - это научный журнал, целью которого является распространение последних заметных результатов в области логика в информатике. Он публикуется Ассоциация вычислительной техники, ведущее научное и образовательное общество по информатике и вычислительным технологиям в Соединенных Штатах.
Смотрите также
- ACM SIGLOG, ACM's Специальная группа по интересам по вычислительной логике