ISSN：1529-3785
E-ISSN：1557-945X
H-index指數(shù)：43
文章自引率：
影響因子：0.7
年發(fā)文量：35
研究類文章占比：100.00%
開源占比：
OA被引用占比：
Acm Transactions On Computational Logic
國(guó)際簡(jiǎn)稱：ACM T COMPUT LOG
出版周期：Quarterly
研究方向：工程技術(shù) - 計(jì)算機(jī)：理論方法
出版語言：English
創(chuàng)刊時(shí)間：2000
是否預(yù)警：否
出版地區(qū)：UNITED STATES
是否 OA：未開放
《Acm Transactions On Computational Logic》(《計(jì)算邏輯上的 Acm 事務(wù)》)是一本由Association for Computing Machinery (ACM)出版的工程技術(shù)-計(jì)算機(jī)：理論方法學(xué)術(shù)刊物，主要刊載工程技術(shù)-計(jì)算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐，旨在打造一種學(xué)術(shù)水平高、可讀性強(qiáng)、具有全球影響力的學(xué)術(shù)期刊。本刊已入選SCIE來源期刊。該刊創(chuàng)刊于2000年，出版周期Quarterly。2023年發(fā)布的影響因子為0.7。
Magazine introduction
計(jì)算邏輯上的 Acm 事務(wù)（Acm Transactions On Computational Logic）在中科院分區(qū)中位于4區(qū)，JCR分區(qū)位于Q1。審稿速度一般為 12周，或約稿 ，且近兩年沒有被列入國(guó)際預(yù)警名單，您可以放心投稿。如果您需要投稿指導(dǎo)，可在線咨詢我們的客服老師，我們將竭誠(chéng)為您服務(wù)。
TOCL 歡迎提交與邏輯有關(guān)的所有方面的文章，因?yàn)樗婕坝?jì)算機(jī)科學(xué)的主題。該領(lǐng)域在計(jì)算機(jī)科學(xué)中有著悠久的傳統(tǒng)。獲得 ACM 圖靈獎(jiǎng)的幾位研究人員也為該領(lǐng)域做出了貢獻(xiàn)，即 Edgar Codd（關(guān)系數(shù)據(jù)庫系統(tǒng)）、Stephen Cook（邏輯理論的復(fù)雜性）、Edsger W. Dijkstra、Robert W. Floyd、Tony Hoare、Amir Pnueli、Dana Scott、Edmond M. Clarke、Allen E. Emerson 和 Joseph Sifakis（程序邏輯、程序推導(dǎo)和驗(yàn)證、編程語言語義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。
邏輯繼續(xù)在計(jì)算機(jī)科學(xué)中發(fā)揮重要作用，并滲透到其多個(gè)領(lǐng)域，包括人工智能、計(jì)算復(fù)雜性、數(shù)據(jù)庫系統(tǒng)和編程語言。
本期刊的編輯委員會(huì)尋求并希望吸引上述所有計(jì)算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標(biāo)準(zhǔn)參考。
理論和尋求應(yīng)用論文。尤其歡迎展示邏輯在計(jì)算機(jī)科學(xué)中的新用途的論文。
Magazine introduction
2023年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2022年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
2021年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
2021年12月基礎(chǔ)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 3區(qū) | 否 | 否 |
2021年12月升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
2020年12月舊的升級(jí)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) | 否 | 否 |
分區(qū)表升級(jí)版：旨在解決期刊學(xué)科體系劃分與學(xué)科發(fā)展以及融合趨勢(shì)的不相容問題。升級(jí)版有如下優(yōu)勢(shì)：一是論文層級(jí)的主題體系既能體現(xiàn)學(xué)科交叉特點(diǎn)，又可以精準(zhǔn)揭示期刊載文的多學(xué)科性；二是采用“期刊超越指數(shù)”替代影響因子指標(biāo)，解決了影響因子數(shù)學(xué)性質(zhì)缺陷對(duì)評(píng)價(jià)結(jié)果的干擾。整體而言，分區(qū)表升級(jí)版（試行）突破了期刊評(píng)價(jià)中學(xué)科體系構(gòu)建、評(píng)價(jià)指標(biāo)選擇等瓶頸問題，能夠更為全面地揭示學(xué)術(shù)期刊的影響力，為科研評(píng)價(jià)“去四唯”提供解決思路。相關(guān)研究成果經(jīng)過國(guó)際同行的認(rèn)可，已經(jīng)發(fā)表在科學(xué)計(jì)量學(xué)領(lǐng)域國(guó)際重要期刊。
Magazine introduction（2023-2024年最新版）
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
| 學(xué)科：LOGIC | SCIE | Q1 | 4 / 25 |
86% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 58 / 143 |
59.79% |
| 學(xué)科：LOGIC | SCIE | Q2 | 12 / 25 |
54% |
JCR：JCR沒有設(shè)置大類，只分為176個(gè)具體學(xué)科，按當(dāng)期（1年）的影響因子進(jìn)行分區(qū)；JCR是按照“平均主義”思想，根據(jù)刊物IF的高至低平均劃分4個(gè)區(qū)，每個(gè)區(qū)含有該領(lǐng)域總量25%的期刊。中科院的分區(qū)如同社會(huì)階層的金字塔結(jié)構(gòu)，1區(qū)只有5%的頂級(jí)期刊，2~4區(qū)期刊數(shù)量也逐層增加,所以中科院的1區(qū)和2區(qū)雜志很少，雜志質(zhì)量相對(duì)也高，基本都是本領(lǐng)域的頂級(jí)期刊。
Magazine introduction
影響因子歷年變化趨勢(shì)
CiteScore歷年變化趨勢(shì)
中科院JCR分區(qū)歷年變化趨勢(shì)
引文指標(biāo)和發(fā)文量歷年變化趨勢(shì)
自引數(shù)據(jù)歷年變化趨勢(shì)
影響因子：表示一種雜志的被引用頻率，是國(guó)際上通用的期刊評(píng)價(jià)指標(biāo)，它不僅是一種測(cè)度期刊有用性和顯示度的指標(biāo)，而且也是測(cè)度期刊的學(xué)術(shù)水平，乃至論文質(zhì)量的重要指標(biāo)。
CiteScore：是影響因子最強(qiáng)有力的競(jìng)爭(zhēng)者，是衡量期刊影響力的一個(gè)指標(biāo),由愛思維爾于2020年發(fā)布，旨在讓人們更細(xì)致地了解影響力對(duì)研究和期刊的意義。
CiteScore（2024年最新版）
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||||||||||
| 2.3 | 0.876 | 1.231 |
|
（同大類學(xué)科）
中科院分區(qū)：3區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：4區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：1區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：2區(qū)
中科院分區(qū)：2區(qū)
Magazine introduction
我們不是雜志社。本站主要從事雜志訂閱與期刊推薦服務(wù)，不是任何雜志官網(wǎng)。直投稿件請(qǐng)聯(lián)系雜志社，地址：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
本站無論任務(wù)服務(wù)，事先跟客戶都進(jìn)行詳細(xì)溝通確認(rèn)，如果沒有按期完成，由本站退還客戶支付的費(fèi)用。但客戶單方面中止訂單，是不能退款的。
正常情況能滿足大部分的用戶，建議你提前一點(diǎn)時(shí)間，如果客戶特別需要加急，需要我們和雜志社溝通安排，如果確認(rèn)可以會(huì)收取一定加急費(fèi)用。
當(dāng)然，我們會(huì)通過短信或電話主動(dòng)溝通，匯報(bào)進(jìn)展情況。您也可以撥打您的客服老師電話和我司設(shè)立的投訴電話。
雖然每天面對(duì)客戶的需求千差萬別,但我們只能保障盡我們的努力滿足您的要求，為您提供幫助,如果您的某個(gè)要求沒得到滿足,我們首先說聲抱歉，也請(qǐng)您不要失望，有問題還請(qǐng)繼續(xù)提問,我們竭誠(chéng)為您服務(wù)
隨著現(xiàn)在各種網(wǎng)站層出不窮的誕生，騙子也越來越多，我們實(shí)體公司注冊(cè)，實(shí)體辦公，網(wǎng)站國(guó)家工信部備案，信息公開，可以查詢，從創(chuàng)辦初衷我們就是專注高質(zhì)量的服務(wù)，客戶優(yōu)先，注重質(zhì)量。我們的具有保密性，我們對(duì)合作過程中的客戶信息安全制定嚴(yán)格的管理制度。
Magazine introduction
Magazine introduction
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商，地址：ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。
購物車(0)