《Acm Transactions On Computational Logic》出版語言：English，具體論文語言需根據(jù)相關征稿要求而定，可聯(lián)系雜志社或在線客服。
該雜志是一本由Association for Computing Machinery (ACM)出版的國際知名學術期刊，創(chuàng)刊于2000年，出版語言：English，專注于工程技術-計算機：理論方法領域，重點介紹工程技術-計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
TOCL 歡迎提交與邏輯有關的所有方面的文章，因為它涉及計算機科學的主題。該領域在計算機科學中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎的幾位研究人員也為該領域做出了貢獻，即 Edgar Codd（關系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導和驗證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。
邏輯繼續(xù)在計算機科學中發(fā)揮重要作用，并滲透到其多個領域，包括人工智能、計算復雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。
本期刊的編輯委員會尋求并希望吸引上述所有計算邏輯領域的高質(zhì)量投稿，以便 TOCL 成為該領域的標準參考。
理論和尋求應用論文。尤其歡迎展示邏輯在計算機科學中的新用途的論文。
此外，關于《Acm Transactions On Computational Logic》的數(shù)據(jù)統(tǒng)計如下：
（1）JCR分區(qū)信息：按JIF指標學科分區(qū)：Q3，按JCI指標學科分區(qū)：Q2
JCR分區(qū)信息
Acm Transactions On Computational Logic（2023-2024年最新版數(shù)據(jù)）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6%
|
| 學科：LOGIC | SCIE | Q1 | 4 / 25 |
86%
|
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79%
|
| 學科：LOGIC | SCIE | Q2 | 12 / 25 |
54%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中，主要參考當年IF，最終每個分區(qū)的期刊數(shù)量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：2.3
- SJR：0.876
- SNIP：1.231
| 學科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：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：該指標由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
（3）在中科院分區(qū)表中，大類學科中數(shù)學為：4區(qū)，小類學科中COMPUTER SCIENCE, THEORY & METHODS工程技術-計算機：理論方法：4區(qū)
中科院分區(qū)信息
計算邏輯上的 Acm 事務2023年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算邏輯上的 Acm 事務2022年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
3區(qū)
3區(qū)
|
否 | 否 |
計算邏輯上的 Acm 事務2021年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
LOGIC
邏輯學
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
2區(qū)
3區(qū)
|
否 | 否 |
計算邏輯上的 Acm 事務2021年12月基礎版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
3區(qū)
|
否 | 否 |
計算邏輯上的 Acm 事務2021年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
LOGIC
邏輯學
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
2區(qū)
3區(qū)
|
否 | 否 |
計算邏輯上的 Acm 事務2020年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
3區(qū)
3區(qū)
|
否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學術影響力，最終每個分區(qū)的期刊累積學術影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。
