通常情況下，《Acm Transactions On Computational Logic》雜志發(fā)表的文章被SCIE數(shù)據(jù)庫(kù)收錄的時(shí)間沒(méi)有固定標(biāo)準(zhǔn)，若想了解詳細(xì)、準(zhǔn)確的具體情況，建議直接與雜志社取得聯(lián)系或者向在線客服進(jìn)行咨詢(xún)。

多久能被SCI數(shù)據(jù)庫(kù)一般可以歸納出以下情況：

論文發(fā)表后到在線時(shí)間：SCI論文發(fā)表后，一般需要大約3個(gè)月的時(shí)間才能在期刊官網(wǎng)上線，這是論文初次對(duì)外公開(kāi)的時(shí)間點(diǎn)。

在線后到數(shù)據(jù)庫(kù)檢索時(shí)間：論文在線后，通常還需要1-3個(gè)月的時(shí)間才能在Web of Science（WOS）數(shù)據(jù)庫(kù)中檢索到，這個(gè)過(guò)程被稱(chēng)為論文的索引或收錄。

整體時(shí)間周期：從投稿到論文被SCI數(shù)據(jù)庫(kù)收錄，整個(gè)周期大概需要一年左右的時(shí)間。具體來(lái)說(shuō)，投稿后可能需要5-6個(gè)月收到接收通知，然后經(jīng)過(guò)2-3個(gè)月論文會(huì)在官網(wǎng)上線，再之后2-3個(gè)月論文會(huì)被WOS數(shù)據(jù)庫(kù)收錄。

然而，這個(gè)時(shí)間周期并不是絕對(duì)的，它受到多種因素的影響，如：期刊類(lèi)型、論文質(zhì)量、數(shù)據(jù)庫(kù)更新等。

《Acm Transactions On Computational Logic》雜志已被SCIE國(guó)際知名數(shù)據(jù)庫(kù)收錄，在JCR分區(qū)中位于COMPUTER SCIENCE, THEORY & METHODS學(xué)科Q3區(qū)LOGIC學(xué)科Q1區(qū)，在CiteScore評(píng)價(jià)中位于Mathematics學(xué)科的Q2區(qū)Mathematics學(xué)科的Q3區(qū)Mathematics學(xué)科的Q3區(qū)Mathematics學(xué)科的Q3區(qū)具有較高的學(xué)術(shù)影響力，在該領(lǐng)域受到廣泛認(rèn)可。

作為一本專(zhuān)注于工程技術(shù) - 計(jì)算機(jī)：理論方法領(lǐng)域的學(xué)術(shù)期刊，它致力于發(fā)表高質(zhì)量的研究論文和為相關(guān)領(lǐng)域的研究人員提供重要的學(xué)術(shù)資源。

該雜志出版周期是Quarterly，平均審稿速度預(yù)計(jì)為： 12周，或約稿 。

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ù)庫(kù)系統(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)證、編程語(yǔ)言語(yǔ)義）、Robin Milner（交互式定理證明、并發(fā)演算和函數(shù)式編程）和 John McCarthy（人工智能中的函數(shù)式編程和邏輯）。

邏輯繼續(xù)在計(jì)算機(jī)科學(xué)中發(fā)揮重要作用，并滲透到其多個(gè)領(lǐng)域，包括人工智能、計(jì)算復(fù)雜性、數(shù)據(jù)庫(kù)系統(tǒng)和編程語(yǔ)言。

本期刊的編輯委員會(huì)尋求并希望吸引上述所有計(jì)算邏輯領(lǐng)域的高質(zhì)量投稿，以便 TOCL 成為該領(lǐng)域的標(biāo)準(zhǔn)參考。

理論和尋求應(yīng)用論文。尤其歡迎展示邏輯在計(jì)算機(jī)科學(xué)中的新用途的論文。