當(dāng)前位置：首頁 SCI期刊 SCIE期刊數(shù)學(xué) 中科院4區(qū) JCRQ1 期刊介紹(非官網(wǎng))

Acm Transactions On Computational LogicSCIE

國際簡稱：ACM T COMPUT LOG 參考譯名：計算邏輯上的 Acm 事務(wù)

中科院分區(qū)
4區(qū)
CiteScore分區(qū)
Q2
JCR分區(qū)
Q1

基本信息：: ISSN：1529-3785; E-ISSN：1557-945X; 是否OA：未開放; 是否預(yù)警：否; TOP期刊：否

出版信息：: 出版地區(qū)：UNITED STATES; 出版商：Association for Computing Machinery (ACM); 出版語言：English; 出版周期：Quarterly; 出版年份：2000; 研究方向：工程技術(shù)-計算機：理論方法

評價信息：: 影響因子：0.7; H-index：43; CiteScore指數(shù)：2.3; SJR指數(shù)：0.876; SNIP指數(shù)：1.231

發(fā)文數(shù)據(jù)：: Gold OA文章占比：3.41%; 研究類文章占比：100.00%; 年發(fā)文量：35; 自引率：0; 開源占比：0; 出版撤稿占比：0; 出版國人文章占比：0.01; OA被引用占比：0

投稿咨詢加急見刊

英文簡介期刊介紹 CiteScore數(shù)據(jù) 中科院SCI分區(qū) JCR分區(qū) 發(fā)文數(shù)據(jù) 常見問題

英文簡介Acm Transactions On Computational Logic期刊介紹

TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, and Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).

Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages.

The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field.

Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome.

期刊簡介Acm Transactions On Computational Logic期刊介紹

《Acm Transactions On Computational Logic》自2000出版以來，是一本數(shù)學(xué)優(yōu)秀雜志。致力于發(fā)表原創(chuàng)科學(xué)研究結(jié)果，并為數(shù)學(xué)各個領(lǐng)域的原創(chuàng)研究提供一個展示平臺，以促進數(shù)學(xué)領(lǐng)域的的進步。該刊鼓勵先進的、清晰的闡述，從廣泛的視角提供當(dāng)前感興趣的研究主題的新見解，或?qū)彶槎嗄陙砟硞€重要領(lǐng)域的所有重要發(fā)展。該期刊特色在于及時報道數(shù)學(xué)領(lǐng)域的最新進展和新發(fā)現(xiàn)新突破等。該刊近一年未被列入預(yù)警期刊名單，目前已被權(quán)威數(shù)據(jù)庫SCIE收錄，得到了廣泛的認可。

該期刊投稿重要關(guān)注點：

預(yù)計審稿時間： 12周，或約稿
數(shù)學(xué)
COMPUTER SCIENCE, THEORY & METHODS
SCIE
中科院4區(qū)
非預(yù)警

Cite Score數(shù)據(jù)（2024年最新版）Acm Transactions On Computational Logic Cite Score數(shù)據(jù)

CiteScore：2.3
SJR：0.876
SNIP：1.231

學(xué)科類別	分區(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(愛思唯爾)推出的另一種評價期刊影響力的文獻計量指標。反映出一家期刊近期發(fā)表論文的年篇均引用次數(shù)。CiteScore以Scopus數(shù)據(jù)庫中收集的引文為基礎(chǔ)，針對的是前四年發(fā)表的論文的引文。CiteScore的意義在于，它可以為學(xué)術(shù)界提供一種新的、更全面、更客觀地評價期刊影響力的方法，而不僅僅是通過影響因子(IF)這一單一指標來評價。

歷年Cite Score趨勢圖

中科院SCI分區(qū)Acm Transactions On Computational Logic 中科院分區(qū)

中科院 2023年12月升級版 綜述期刊：否 Top期刊：否

大類學(xué)科	分區(qū)	小類學(xué)科	分區(qū)
數(shù)學(xué)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué)	4區(qū) 4區(qū)

中科院分區(qū)表 是以客觀數(shù)據(jù)為基礎(chǔ)，運用科學(xué)計量學(xué)方法對國際、國內(nèi)學(xué)術(shù)期刊依據(jù)影響力進行等級劃分的期刊評價標準。它為我國科研、教育機構(gòu)的管理人員、科研工作者提供了一份評價國際學(xué)術(shù)期刊影響力的參考數(shù)據(jù)，得到了全國各地高校、科研機構(gòu)的廣泛認可。

中科院分區(qū)表 將所有期刊按照一定指標劃分為1區(qū)、2區(qū)、3區(qū)、4區(qū)四個層次，類似于“優(yōu)、良、及格”等。最開始，這個分區(qū)只是為了方便圖書管理及圖書情報領(lǐng)域的研究和期刊評估。之后中科院分區(qū)逐步發(fā)展成為了一種評價學(xué)術(shù)期刊質(zhì)量的重要工具。

歷年中科院分區(qū)趨勢圖

JCR分區(qū)Acm Transactions On Computational Logic JCR分區(qū)

2023-2024 年最新版

按JIF指標學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	104 / 143	27.6%
學(xué)科：LOGIC	SCIE	Q1	4 / 25	86%

按JCI指標學(xué)科分區(qū)	收錄子集	分區(qū)	排名	百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	58 / 143	59.79%
學(xué)科：LOGIC	SCIE	Q2	12 / 25	54%

JCR分區(qū)的優(yōu)勢在于它可以幫助讀者對學(xué)術(shù)文獻質(zhì)量進行評估。不同學(xué)科的文章引用量可能存在較大的差異，此時單獨依靠影響因子(IF)評價期刊的質(zhì)量可能是存在一定問題的。因此，JCR將期刊按照學(xué)科門類和影響因子分為不同的分區(qū)，這樣讀者可以根據(jù)自己的研究領(lǐng)域和需求選擇合適的期刊。

歷年影響因子趨勢圖