《Logical Methods In Computer Science》出版語言：English，具體論文語言需根據(jù)相關征稿要求而定，可聯(lián)系雜志社或在線客服。
該雜志是一本由Technischen Universitat Braunschweig出版的國際知名學術期刊，創(chuàng)刊于2005年，出版語言：English，專注于工程技術-計算機：理論方法領域，重點介紹工程技術-計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。
《計算機科學中的邏輯方法》是一本經(jīng)過全面評審的免費電子期刊，可免費訪問。它歡迎發(fā)表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文；其范圍內(nèi)的一些特定領域如下所列。論文以傳統(tǒng)方式評審，每篇論文由兩名或多名評審員評審。版權歸作者所有。
計算機科學中的邏輯方法主題：
代數(shù)方法
自動機和邏輯
自動推理
分類模型和邏輯
共代數(shù)方法
可計算性和邏輯
計算機輔助驗證
并發(fā)理論
約束編程
信息物理系統(tǒng)
數(shù)據(jù)庫理論
可廢止推理
領域理論
新興主題：生物學中的計算系統(tǒng)
新興主題：量子計算和邏輯
有限模型理論
形式化數(shù)學
函數(shù)式編程和 lambda 演算
歸納邏輯和學習
交互式證明檢查
邏輯和算法
邏輯和復雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態(tài)和時間邏輯
程序分析和類型檢查
程序開發(fā)和規(guī)范
證明復雜性
實時和混合系統(tǒng)
關于動作和計劃的推理
可滿足性
安全性
編程語言的語義
術語重寫和方程邏輯
類型理論和建設性數(shù)學。
此外，關于《Logical Methods In Computer Science》的數(shù)據(jù)統(tǒng)計如下：
（1）JCR分區(qū)信息：按JIF指標學科分區(qū)：Q4，按JCI指標學科分區(qū)：Q2
JCR分區(qū)信息
Logical Methods In Computer Science（2023-2024年最新版數(shù)據(jù)）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 117 / 143 |
18.5%
|
| 學科：LOGIC | SCIE | Q2 | 10 / 25 |
62%
|
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 69 / 143 |
52.1%
|
| 學科：LOGIC | SCIE | Q4 | 19 / 25 |
26%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中，主要參考當年IF，最終每個分區(qū)的期刊數(shù)量是均分的。
（2）Cite Score（2024年最新版）
Cite Score（2024年最新版）
- CiteScore：1.8
- SJR：0.573
- SNIP：0.931
| 學科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Computer Science 小類：General Computer Science | Q3 | 152 / 232 |
34%
|
| 大類：Computer Science 小類：Theoretical Computer Science | Q4 | 100 / 130 |
23%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
（3）在中科院分區(qū)表中，大類學科中數(shù)學為：4區(qū)，小類學科中COMPUTER SCIENCE, THEORY & METHODS工程技術-計算機：理論方法：4區(qū)
中科院分區(qū)信息
計算機科學中的邏輯方法2023年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算機科學中的邏輯方法2022年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算機科學中的邏輯方法2021年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算機科學中的邏輯方法2021年12月基礎版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算機科學中的邏輯方法2021年12月升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區(qū) |
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
LOGIC
邏輯學
|
4區(qū)
4區(qū)
|
否 | 否 |
計算機科學中的邏輯方法2020年12月舊的升級版
| 大類學科 | 分區(qū) | 小類學科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學 | 3區(qū) |
LOGIC
邏輯學
COMPUTER SCIENCE, THEORY & METHODS
計算機：理論方法
|
2區(qū)
3區(qū)
|
否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學術影響力，最終每個分區(qū)的期刊累積學術影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。
