發(fā)表咨詢：400-888-9411 訂閱咨詢：400-888-1571
計(jì)算機(jī)科學(xué)中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的一本工程技術(shù)-計(jì)算機(jī)：理論方法學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于2005年，出版周期Irregular。2021-2022年最新版WOS分區(qū)等級：Q2，2023年發(fā)布的影響因子為0.6，CiteScore指數(shù)1.8，SJR指數(shù)0.573。本刊為開放獲取期刊。
《計(jì)算機(jī)科學(xué)中的邏輯方法》是一本經(jīng)過全面評審的免費(fèi)電子期刊，可免費(fèi)訪問。它歡迎發(fā)表涉及廣義邏輯方法的計(jì)算機(jī)科學(xué)理論和實(shí)踐領(lǐng)域的論文；其范圍內(nèi)的一些特定領(lǐng)域如下所列。論文以傳統(tǒng)方式評審，每篇論文由兩名或多名評審員評審。版權(quán)歸作者所有。
計(jì)算機(jī)科學(xué)中的邏輯方法主題：
代數(shù)方法
自動機(jī)和邏輯
自動推理
分類模型和邏輯
共代數(shù)方法
可計(jì)算性和邏輯
計(jì)算機(jī)輔助驗(yàn)證
并發(fā)理論
約束編程
信息物理系統(tǒng)
數(shù)據(jù)庫理論
可廢止推理
領(lǐng)域理論
新興主題：生物學(xué)中的計(jì)算系統(tǒng)
新興主題：量子計(jì)算和邏輯
有限模型理論
形式化數(shù)學(xué)
函數(shù)式編程和 lambda 演算
歸納邏輯和學(xué)習(xí)
交互式證明檢查
邏輯和算法
邏輯和復(fù)雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態(tài)和時(shí)間邏輯
程序分析和類型檢查
程序開發(fā)和規(guī)范
證明復(fù)雜性
實(shí)時(shí)和混合系統(tǒng)
關(guān)于動作和計(jì)劃的推理
可滿足性
安全性
編程語言的語義
術(shù)語重寫和方程邏輯
類型理論和建設(shè)性數(shù)學(xué)。
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計(jì)算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
中科院JCR期刊分區(qū)（又稱分區(qū)表、分區(qū)數(shù)據(jù)）是中國科學(xué)院文獻(xiàn)情報(bào)中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學(xué)術(shù)影響力，最終每個(gè)分區(qū)的期刊累積學(xué)術(shù)影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 117 / 143 |
18.5%
|
| 學(xué)科：LOGIC | SCIE | Q2 | 10 / 25 |
62%
|
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 69 / 143 |
52.1%
|
| 學(xué)科：LOGIC | SCIE | Q4 | 19 / 25 |
26%
|
湯森路透每年出版一本《期刊引用報(bào)告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類別在JCR的Journal Ranking中，主要參考當(dāng)年IF，最終每個(gè)分區(qū)的期刊數(shù)量是均分的。
| 學(xué)科類別 | 分區(qū) | 排名 | 百分位 |
| 大類：Computer Science 小類：General Computer Science | Q3 | 152 / 232 |
34%
|
| 大類：Computer Science 小類：Theoretical Computer Science | Q4 | 100 / 130 |
23%
|
CiteScore：該指標(biāo)由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是：例如，某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。
| 文章名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
| 期刊名稱 | 引用次數(shù) |
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 3區(qū) JCR分區(qū) Q3
查看詳情
中科院分區(qū) 3區(qū) JCR分區(qū) Q3
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情
中科院分區(qū) 2區(qū) JCR分區(qū) Q1
查看詳情若用戶需要出版服務(wù)，請聯(lián)系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。