欢迎来到好发表期刊在线咨询服务,发表咨询:400-888-9411 订阅咨询:400-888-1571证券代码(211862)
Logical Methods In Computer Science
  • ISSN:1860-5974

  • E-ISSN:1860-5974

  • H-index指数:31

  • 文章自引率:

  • 影响因子:0.672

  • 年发文量:77

  • 研究类文章占比:100.00%

  • 开源占比:0.20...

  • OA被引用占比:1

计算机科学中的逻辑方法 SCI SCIE

Logical Methods In Computer Science

  • 国际简称:LOG METH COMPUT SCI

  • 出版周期:Irregular

  • 研究方向:工程技术 - 计算机:理论方法

  • 出版语言:English

  • 创刊时间:2005

  • 是否预警:

  • 出版地区:GERMANY

  • 是否 OA:开放

期刊介绍

《Logical Methods In Computer Science》(《计算机科学中的逻辑方法》)是一本由LOGICAL METHODS COMPUTER SCIENCE E V出版的工程技术-计算机:理论方法学术刊物,该刊是国际一流期刊,主要刊载工程技术-计算机:理论方法相关领域研究成果与实践,旨在打造一种学术水平高、可读性强、具有全球影响力的学术期刊。本刊已入选SCI、SCIE来源期刊。该刊创刊于2005年,出版周期Irregular。2022年发布的影响因子为0.6。

服务流程:

期刊简介

Magazine introduction

计算机科学中的逻辑方法(Logical Methods In Computer Science)在中科院分区中位于4区,JCR分区位于Q4。审稿速度一般为较慢,6-12周,且近两年没有被列入国际预警名单,您可以放心投稿。如果您需要投稿指导,可在线咨询我们的客服老师,我们将竭诚为您服务。

《计算机科学中的逻辑方法》是一本完全参考的、开放获取的免费电子期刊。它欢迎广义上涉及逻辑方法的计算机科学理论和实践领域的论文;下面列出了其范围内的一些特定领域。论文以传统方式进行审阅,每篇论文有两名或两名以上的审稿人。版权归作者所有。

计算机科学中的逻辑方法主题:

代数方法

自动机和逻辑

自动扣款

分类模型和逻辑

代数方法

可计算性和逻辑

计算机辅助验证

并发理论

约束规划

网络物理系统

数据库理论

不可行的推理

领域理论

新兴主题:生物学中的计算系统

新兴主题:量子计算和逻辑

有限模型理论

形式化数学

函数式编程和 lambda 演算

归纳逻辑和学习

交互式证明检查

逻辑和算法

逻辑和复杂性

逻辑和游戏

逻辑和概率

知识表示的逻辑

逻辑编程

程序逻辑

模态和时间逻辑

程序分析和类型检查

程序开发和规范

证明复杂性

实时和混合系统

推理行动和计划

可满足性

安全

编程语言的语义

术语重写和等式逻辑

类型理论和建设性数学。

中科院SCI分区

Magazine introduction

分区表升级版:旨在解决期刊学科体系划分与学科发展以及融合趋势的不相容问题。升级版有如下优势:一是论文层级的主题体系既能体现学科交叉特点,又可以精准揭示期刊载文的多学科性;二是采用“期刊超越指数”替代影响因子指标,解决了影响因子数学性质缺陷对评价结果的干扰。整体而言,分区表升级版(试行)突破了期刊评价中学科体系构建、评价指标选择等瓶颈问题,能够更为全面地揭示学术期刊的影响力,为科研评价“去四唯”提供解决思路。相关研究成果经过国际同行的认可,已经发表在科学计量学领域国际重要期刊。

JCR 分区

Magazine introduction

JCR 分区等级 JCR 学科 分区
Q4 COMPUTER SCIENCE, THEORY & METHODS Q4
LOGIC Q3

JCR:JCR没有设置大类,只分为176个具体学科,按当期(1年)的影响因子进行分区;JCR是按照“平均主义”思想,根据刊物IF的高至低平均划分4个区,每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构,1区只有5%的顶级期刊,2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少,杂志质量相对也高,基本都是本领域的顶级期刊。

统计数据

Magazine introduction

影响因子历年变化趋势

CiteScore历年变化趋势

中科院JCR分区历年变化趋势

引文指标和发文量历年变化趋势

自引数据历年变化趋势

影响因子:表示一种杂志的被引用频率,是国际上通用的期刊评价指标,它不仅是一种测度期刊有用性和显示度的指标,而且也是测度期刊的学术水平,乃至论文质量的重要指标。

CiteScore:是影响因子最强有力的竞争者,是衡量期刊影响力的一个指标,由爱思维尔于2020年发布,旨在让人们更细致地了解影响力对研究和期刊的意义。

CiteScore

CiteScore SJR SNIP CiteScore 指数
1.70 0.635 0.888
学科类别 分区 排名 百分位
大类:Computer Science 小类:General Computer Science Q3 148 / 233

36%

大类:Computer Science 小类:Theoretical Computer Science Q4 98 / 127

23%

TOP期刊

(同小类学科)

常见问题

Magazine introduction

Logical Methods In Computer Science

计算机科学中的逻辑方法定制服务方案,SCI检索

免责声明

Magazine introduction

若用户需要出版服务,请联系出版商,地址:TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。