- 《ACM Transactions on Computational Logic》
- 其它刊名：ACM TRANS COMPUT LOG;ACM T COMPUT LOG
- 语言：外文
- ISSN：1529-3785
- 主办单位：Association for Computing Machinery
- 核心刊：;Web of Science(2008), Ei Compendex(2018);Scopus;SCIE(科学引文索引)(美)(2020);
- 收录情况：Web of Science(2008),Ei Compendex(2018);Ei Compendex(2008);SCIENCE CITATION INDE
- 周期：季刊
- 影响因子：2018:0.448;2017:0.731;2016:0.961;2015:0.855;2014:0.618;2013:0.636;2012:0.792;2011:0.823;2010:1.391;2009:1.212;2008:2.766;2007:0;
- 学科分类：美学 建筑
- 出版地： New York
-
- 来源数据库：
- Computing Reviews
- ACM Digital Library (1950—)
- 国家科技图书文献中心文献检索
- ABI/INFORM Global (ProQuest) (1971—)
