《Acm Transactions On Computational Logic》雜志影響因子：0.7。
期刊Acm Transactions On Computational Logic近年評價數(shù)據(jù)趨勢圖
期刊影響因子趨勢圖
以下是一些常見的影響因子查詢?nèi)肟冢?
（1）Web of Science：是查詢SCI期刊影響因子的權(quán)威平臺，收錄全球高質(zhì)量學(xué)術(shù)期刊，提供詳細的期刊引證報告，包括影響因子、分區(qū)、被引頻次等關(guān)鍵指標。
（2）?Journal Citation Reports (JCR)：JCR是科睿唯安旗下的一個網(wǎng)站，提供了期刊影響因子、引用數(shù)據(jù)和相關(guān)指標。用戶可以在該網(wǎng)站上查找特定期刊的影響因子信息。
（3）中科院SCI期刊分區(qū)表：提供中科院分區(qū)的期刊數(shù)據(jù)查詢，包括影響因子和分區(qū)信息。
《Acm Transactions On Computational Logic》雜志是由Association for Computing Machinery (ACM)出版社主辦的一本以工程技術(shù)-計算機：理論方法為研究方向，OA非開放（Not Open Access）的國際優(yōu)秀期刊。
該雜志出版語言為English，創(chuàng)刊于2000年。自創(chuàng)刊以來，已被SCIE（科學(xué)引文索引擴展板）等國內(nèi)外知名檢索系統(tǒng)收錄。該雜志發(fā)表了高質(zhì)量的論文，重點介紹了COMPUTER SCIENCE, THEORY & METHODS在分析和實踐中的理論、研究和應(yīng)用。
?學(xué)術(shù)地位：在JCR分區(qū)中位列Q1區(qū)，中科院分區(qū)為數(shù)學(xué)大類4區(qū)，COMPUTER SCIENCE, THEORY & METHODS計算機：理論方法小類4區(qū)。
期刊發(fā)文分析
機構(gòu)發(fā)文量統(tǒng)計
| 機構(gòu) | 發(fā)文量 |
| CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQ... | 14 |
| UNIVERSITY OF OXFORD | 7 |
| UNIVERSITY OF LONDON | 5 |
| UNIVERSITY OF WARSAW | 5 |
| UNIVERSITE DE PARIS | 4 |
| UNIVERSITY OF AMSTERDAM | 4 |
| UNIVERSITY OF BREMEN | 4 |
| UNIVERSITY OF ERLANGEN NUREMBERG | 4 |
| UNIVERSITY OF LIVERPOOL | 4 |
| UNIVERSITY OF LUXEMBOURG | 4 |
國家 / 地區(qū)發(fā)文量統(tǒng)計
| 國家 / 地區(qū) | 發(fā)文量 |
| England | 24 |
| France | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 11 |
| USA | 9 |
| Poland | 8 |
| Netherlands | 7 |
| Australia | 5 |
| Finland | 5 |
| Spain | 5 |
期刊引用數(shù)據(jù)次數(shù)統(tǒng)計
| 期刊引用數(shù)據(jù) | 引用次數(shù) |
| 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 |
期刊被引用數(shù)據(jù)次數(shù)統(tǒng)計
| 期刊被引用數(shù)據(jù) | 引用次數(shù) |
| 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 |
文章引用數(shù)據(jù)次數(shù)統(tǒng)計
| 文章引用數(shù)據(jù) | 引用次數(shù) |
| Modularisation of Sequent Calculi for Norm... | 3 |
| Are Short Proofs Narrow? QBF Resolution Is... | 3 |
| Checking Admissibility Using Natural Duali... | 3 |
| A Higher-Order Calculus of Computational F... | 3 |
| Interval vs. Point Temporal Logic Model Ch... | 2 |
| Path Categories and Propositional Identity... | 2 |
| An Epistemic Strategy Logic | 2 |
| Some Subsystems of Constant-Depth Frege wi... | 2 |
| Fast Query Answering over Existential Rule... | 2 |
| Reasoning about Cognitive Trust in Stochas... | 1 |
