期刊在线咨询服务, 立即咨询
期刊咨询 杂志订阅 购物车(0)
首页 SCI期刊 数学期刊 中科院4区 JCRQ2 期刊介绍(非官网)
Logical Methods In Computer Science

  • ISSN：1860-5974

  • E-ISSN：1860-5974

  • H-index指数：31

  • 文章自引率：

  • 影响因子：0.6

  • 年发文量：82

  • 研究类文章占比：100.00%

  • 开源占比：0.52...

  • OA被引用占比：1

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

Logical Methods In Computer Science

期刊简介 中科院分区 JCR分区 统合数据 相关期刊 TOP期刊

  • 国际简称：LOG METH COMPUT SCI

  • 出版周期：Irregular

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

  • 出版语言：English

  • 创刊时间：2005

  • 是否预警：否

  • 出版地区：GERMANY

  • 是否 OA：开放

期刊介绍

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

投稿咨询 期刊咨询
服务流程:

期刊简介

Magazine introduction

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

《计算机科学中的逻辑方法》是一本经过全面评审的免费电子期刊，可免费访问。它欢迎发表涉及广义逻辑方法的计算机科学理论和实践领域的论文；其范围内的一些特定领域如下所列。论文以传统方式评审，每篇论文由两名或多名评审员评审。版权归作者所有。

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

代数方法

自动机和逻辑

自动推理

分类模型和逻辑

共代数方法

可计算性和逻辑

计算机辅助验证

并发理论

约束编程

信息物理系统

数据库理论

可废止推理

领域理论

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

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

有限模型理论

形式化数学

函数式编程和 lambda 演算

归纳逻辑和学习

交互式证明检查

逻辑和算法

逻辑和复杂性

逻辑和游戏

逻辑和概率

知识表示逻辑

逻辑编程

程序逻辑

模态和时间逻辑

程序分析和类型检查

程序开发和规范

证明复杂性

实时和混合系统

关于动作和计划的推理

可满足性

安全性

编程语言的语义

术语重写和方程逻辑

类型理论和建设性数学。

中科院SCI分区

Magazine introduction

2023年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
数学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 4区 4区 否 否

2022年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 4区 4区 否 否

2021年12月旧的升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 4区 4区 否 否

2021年12月基础版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
工程技术 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 4区 4区 否 否

2021年12月升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 4区 4区 否 否

2020年12月旧的升级版

大类学科 分区 小类学科 分区 Top期刊 综述期刊
计算机科学 3区 LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 2区 3区 否 否

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

JCR 分区

Magazine introduction（2023-2024年最新版）

按JIF指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q4 117 / 143

18.5%
学科：LOGIC SCIE Q2 10 / 25

62%
按JCI指标学科分区 收录子集 分区 排名 百分位
学科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 69 / 143

52.1%
学科：LOGIC SCIE Q4 19 / 25

26%

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

统计数据

Magazine introduction

影响因子历年变化趋势

CiteScore历年变化趋势

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

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

自引数据历年变化趋势

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

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

CiteScore（2024年最新版）

CiteScore SJR SNIP CiteScore 指数
1.8 0.573 0.931
学科类别 分区 排名 百分位
大类：Computer Science 小类：General Computer Science Q3 152 / 232

34%
大类：Computer Science 小类：Theoretical Computer Science Q4 100 / 130

23%

相关期刊

（同大类学科）

TOP期刊

上一本 Logic Journal Of The Igpl
下一本 Logopedics Phoniatrics Vocology

常见问题

Magazine introduction

我们的亮点

Magazine introduction

Logical Methods In Computer Science

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

免费咨询

免责声明

Magazine introduction

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