• 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

  • 國際簡稱：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期刊

常見問題

Magazine introduction

Logical Methods In Computer Science

計算機科學中的邏輯方法定制服務方案，SCI檢索

免責聲明

Magazine introduction

若用戶需要出版服務，請聯系出版商，地址：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。

主站蜘蛛池模板： 亚洲jizzjizz妇女| 中文字幕一级片| 欧美理论电影在线| 再深点灬舒服灬免费观看| 韩国欧洲一级毛片免费| 国产精品999| 999国产精品999久久久久久| 性猛交╳xxx乱大交| 久久久久国产精品| 暖暖在线视频日本| 亚洲午夜久久久影院伊人| 波多野结衣教师系列5| 免费看男阳茎进女阳道动态图 | 天堂一区二区三区在线观看| 中国好声音第二季免费播放| 日本成熟电影不卡www| 亚洲AV成人噜噜无码网站| 欧美日韩一区二区不卡三区| 亚洲综合伊人制服丝袜美腿| 白嫩奶水的乳奴| 再深点灬舒服灬太大女女| 老板在娇妻的身上耸动| 国产亚洲精品自在久久| 国产精品高清尿小便嘘嘘| 久久99精品一久久久久久| 日韩精品专区在线影院重磅| 亚洲乱码一区av春药高潮| 欧美日韩精品久久久免费观看| 亚洲黄色片一级| 精品中文字幕一区在线| 又爽又刺激的视频| 老师别揉我胸啊嗯上课呢视频| 国产乱理伦片在线观看| 黄色a视频在线观看| 国产白嫩漂亮美女在线观看| 2021年国产精品久久| 国产青青在线视频| 99r精品在线| 在线观看人成网站深夜免费| a毛片全部免费播放| 天天舔天天干天天操|