計算邏輯上的 Acm 事務
國際簡稱：ACM T COMPUT LOG
Acm Transactions On Computational Logic雜志簡介
Acm Transactions On Computational Logic是由Association for Computing Machinery (ACM)出版商主辦的數學領域的專業學術期刊，自2000年創刊以來，一直以高質量的內容贏得業界的尊重。該期刊擁有正式的刊號（ISSN：1529-3785，E-ISSN：1557-945X），出版周期Quarterly，其出版地區設在UNITED STATES。該期刊的核心使命旨在推動數學專業及COMPUTER SCIENCE, THEORY & METHODS學科界的教育研究與實踐經驗的交流，發表同行有創見的學術論文，提倡學術爭鳴，激發學術創新，開展國際間學術交流，為數學領域的發展注入活力。
該期刊文章自引率0，開源內容占比0，出版撤稿占比0，OA被引用占比0，讀者群體主要包括數學的專業人員，研究生、本科生以及數學領域愛好者，這些讀者群體來自全球各地，具有廣泛的學術背景和興趣。Acm Transactions On Computational Logic已被國際權威學術數據庫“ SCIE（Science Citation Index Expanded） ”收錄，方便全球范圍內的學者和研究人員檢索和引用，有助于推動COMPUTER SCIENCE, THEORY & METHODS領域的研究進展和創新發展。
收錄信息
CiteScore（2024年最新版）
- CiteScore：2.3
- SJR：0.876
- SNIP：1.231
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：Mathematics 小類：Logic | Q2 | 11 / 41 |
73% |
| 大類：Mathematics 小類：Computational Mathematics | Q3 | 99 / 189 |
47% |
| 大類：Mathematics 小類：General Computer Science | Q3 | 135 / 232 |
42% |
| 大類：Mathematics 小類：Theoretical Computer Science | Q3 | 81 / 130 |
37% |
CiteScore: 這一創新指標力求提供更為全面且精確的期刊評估，打破了過去僅依賴單一指標如影響因子的局限。它通過綜合廣泛的引用數據，跨越多個學科領域，從而確保了更高的透明度和開放性。作為Scopus中一系列期刊指標的重要組成部分，包括SNIP（源文檔標準化影響）、SJR（SCImago雜志排名）、引用文檔計數以及引用百分比。Scopus整合以上指標，幫助研究者深入了解超過22,220種論著的引用情況。您可在Scopus Joumal Metrics website了解各個指標的詳細信息。
CiteScore分區值與影響因子值數據對比
Acm Transactions On Computational Logic中科院分區表
中科院分區 2023年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 數學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 4區 | 否 | 否 |
中科院分區 2022年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區 3區 | 否 | 否 |
中科院分區 2021年12月舊的升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 | 否 | 否 |
中科院分區 2021年12月基礎版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 工程技術 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 3區 | 否 | 否 |
中科院分區 2021年12月升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區 3區 | 否 | 否 |
中科院分區 2020年12月舊的升級版
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 3區 3區 | 否 | 否 |
中科院分區表歷年分布趨勢圖
WOS期刊JCR分區（2023-2024年最新版）
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79% |
| 學科：LOGIC | SCIE | Q2 | 12 / 25 |
54% |
JCR（Journal Citation Reports）分區，也被稱為JCR期刊分區，是由湯森路透公司（現在屬于科睿唯安公司）制定的一種國際通用和公認的期刊分區標準。JCR分區基于SCI數據庫，按照期刊的影響因子進行排序，按照類似等分的方式將期刊劃分為四個區：Q1、Q2、Q3和Q4。需要注意的是，JCR分區的標準與中科院JCR期刊分區（又稱分區表、分區數據）存在不同之處。例如，兩者的分區數量不同，JCR分為四個區，而中科院分區則分為176個學科，每個學科又按照影響因子高低分為四個區。此外，兩者的影響因子取值范圍也存在差異。
歷年發文數據
| 年份 | 年發文量 |
| 2014 | 35 |
| 2015 | 42 |
| 2016 | 25 |
| 2017 | 33 |
| 2018 | 31 |
| 2019 | 25 |
| 2020 | 34 |
| 2021 | 26 |
| 2022 | 27 |
| 2023 | 35 |
期刊互引關系
| 被他刊引用情況 | |
| 期刊名稱 | 引用次數 |
| LOG METH COMPUT SCI | 39 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 19 |
| THEOR PRACT LOG PROG | 19 |
| MATH STRUCT COMP SCI | 18 |
| THEOR COMPUT SCI | 17 |
| J AUTOM REASONING | 15 |
| J COMPUT SYST SCI | 10 |
| J LOG ALGEBR METHODS | 10 |
| IEEE ACCESS | 7 |
| 引用他刊情況 | |
| 期刊名稱 | 引用次數 |
| THEOR COMPUT SCI | 37 |
| J ACM | 27 |
| INFORM COMPUT | 23 |
| J LOGIC COMPUT | 22 |
| ACM T COMPUT LOG | 19 |
| ARTIF INTELL | 17 |
| SIAM J COMPUT | 17 |
| LOG METH COMPUT SCI | 15 |
| ANN PURE APPL LOGIC | 13 |
| J AUTOM REASONING | 10 |
