日本免费精品视频,男人的天堂在线免费视频,成人久久久精品乱码一区二区三区,高清成人爽a毛片免费网站

在線客服
Acm Transactions On Computational Logic
人氣:17

Acm Transactions On Computational Logic SCIE

  • ISSN:1529-3785
  • 出版商:Association for Computing Machinery (ACM)
  • 出版語言:English
  • E-ISSN:1557-945X
  • 出版地區(qū):UNITED STATES
  • 是否預(yù)警:
  • 創(chuàng)刊時(shí)間:2000
  • 出版周期:Quarterly
  • TOP期刊:
  • 影響因子:0.7
  • 是否OA:未開放
  • CiteScore:2.3
  • H-index:43
  • 研究類文章占比:100.00%
  • Gold OA文章占比:3.41%
  • 出版國人文章占比:0.01
  • 國際標(biāo)準(zhǔn)簡稱:ACM T COMPUT LOG
  • 涉及的研究方向:工程技術(shù)-計(jì)算機(jī):理論方法
  • 中文名稱:計(jì)算邏輯上的 Acm 事務(wù)
  • 預(yù)計(jì)審稿周期: 12周,或約稿
國內(nèi)分區(qū)信息:

大類學(xué)科:數(shù)學(xué)  中科院分區(qū)  4區(qū)

國際分區(qū)信息:

JCR學(xué)科:COMPUTER SCIENCE, THEORY & METHODS、LOGIC  JCR分區(qū)  Q1

  • 影響因子:0.7
  • Gold OA文章占比:3.41%
  • CiteScore:2.3
  • 研究類文章占比:100.00%
  • 出版國人文章占比:0.01

推薦合適期刊 投稿指導(dǎo) 助力快速見刊免費(fèi)咨詢

Acm Transactions On Computational Logic 期刊簡介

Acm Transactions On Computational Logic是數(shù)學(xué)領(lǐng)域的一本優(yōu)秀期刊。由Association for Computing Machinery (ACM)出版社出版。該期刊主要發(fā)表數(shù)學(xué)領(lǐng)域的原創(chuàng)性研究成果。創(chuàng)刊于2000年,該期刊主要刊載工程技術(shù)-計(jì)算機(jī):理論方法及其基礎(chǔ)研究的前瞻性、原始性、首創(chuàng)性研究成果、科技成就和進(jìn)展。該期刊不僅收錄了該領(lǐng)域的科技成就和進(jìn)展,更以其深厚的學(xué)術(shù)積淀和卓越的審稿標(biāo)準(zhǔn),確保每篇文章都具備高度的學(xué)術(shù)價(jià)值。此外,該刊同時(shí)被SCIE數(shù)據(jù)庫收錄,并被劃分為中科院SCI4區(qū)期刊,它始終堅(jiān)持創(chuàng)新,不斷專注于發(fā)布高度有價(jià)值的研究成果,不斷推動數(shù)學(xué)領(lǐng)域的進(jìn)步。

同時(shí),我們注重來稿文章表述的清晰度,以及其與我們的讀者群體和研究領(lǐng)域的相關(guān)性。為此,我們期待所有投稿的文章能夠保持簡潔明了、組織有序、表述清晰。該期刊平均審稿速度為平均 12周,或約稿 。若您對于稿件是否適合該期刊存在疑慮,建議您在提交前主動與期刊主編取得聯(lián)系,或咨詢本站的客服老師。我們的客服老師將根據(jù)您的研究內(nèi)容和方向,為您推薦最為合適的期刊,助力您順利投稿,實(shí)現(xiàn)學(xué)術(shù)成果的順利發(fā)表。

Acm Transactions On Computational Logic 期刊國內(nèi)分區(qū)信息

中科院分區(qū) 2023年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
數(shù)學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)
中科院分區(qū) 2022年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 3區(qū) 3區(qū)
中科院分區(qū) 2021年12月舊的升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 2區(qū) 3區(qū)
中科院分區(qū) 2021年12月基礎(chǔ)版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 3區(qū)
中科院分區(qū) 2021年12月升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 2區(qū) 3區(qū)
中科院分區(qū) 2020年12月舊的升級版
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 3區(qū) 3區(qū)

Acm Transactions On Computational Logic 期刊國際分區(qū)信息(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%

CiteScore指數(shù)(2024年最新版)

  • 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%

期刊評價(jià)數(shù)據(jù)趨勢圖

中科院分區(qū)趨勢圖
期刊影響因子和自引率趨勢圖

發(fā)文統(tǒng)計(jì)

年發(fā)文量統(tǒng)計(jì)
年份 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023
年發(fā)文量 35 42 25 33 31 25 34 26 27 35
國家/地區(qū)發(fā)文量統(tǒng)計(jì)
國家/地區(qū) 數(shù)量
England 24
France 23
GERMANY (FED REP GER) 23
Italy 11
USA 9
Poland 8
Netherlands 7
Australia 5
Finland 5
Spain 5
機(jī)構(gòu)發(fā)文量統(tǒng)計(jì)
機(jī)構(gòu) 數(shù)量
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS) 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

高引用文章

文章名稱 引用次數(shù)
Modularisation of Sequent Calculi for Normal and Non-normal Modalities 3
Are Short Proofs Narrow? QBF Resolution Is Not So Simple 3
Checking Admissibility Using Natural Dualities 3
A Higher-Order Calculus of Computational Fields 3
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison 2
Path Categories and Propositional Identity Types 2
An Epistemic Strategy Logic 2
Some Subsystems of Constant-Depth Frege with Parity 2
Fast Query Answering over Existential Rules 2
Reasoning about Cognitive Trust in Stochastic Multiagent Systems 1

免責(zé)聲明

若用戶需要出版服務(wù),請聯(lián)系出版商:ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。

友情鏈接