ACM Transactions on Computational Logic ( ACM TOCL ) - это научный журнал, целью которого является распространение последних заметных результатов в области логики в информатике . Он публикуется Ассоциацией вычислительной техники , ведущим научным и образовательным обществом по информатике и вычислительным технологиям в Соединенных Штатах.
Дисциплина | Вычислительная логика |
---|---|
Язык | английский |
Под редакцией по | Орна Купферман |
Детали публикации | |
История | 2000 – настоящее время |
Издатель | ACM (США) |
Частота | Ежеквартальный |
Стандартные сокращенияISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | ACM Trans. Comput. Бревно. |
ИндексированиеCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
ISSN | 1529-3785 (печать) 1557-945X (Интернет) |
Ссылки | |
Смотрите также
- ACM SIGLOG , Специальная группа ACM по вычислительной логике