国产综合久久久久-狠狠色噜噜狠狠狠狠av-国产女人乱人伦精品一区二区-亚洲a∨国产av综合av下载-爱做久久久久久

首頁 > SCI期刊 > 數學 > 中科院4區 > -> JCRQ2 > 期刊介紹
Logical Methods In Computer Science 加入收藏

計算機科學中的邏輯方法 SCIE

Logical Methods In Computer Science

較慢,6-12周 審稿時間

4區中科院分區

Q2JCR分區

0.6影響因子

1860-5974

1860-5974

LOG METH COMPUT SCI

GERMANY

工程技術 - 計算機:理論方法

2005

31

Irregular

English

82

-

投稿咨詢 加急服務

期刊簡介

計算機科學中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的一本工程技術-計算機:理論方法學術刊物,主要報道工程技術-計算機:理論方法相關領域研究成果與實踐。本刊已入選來源期刊,該刊創刊于2005年,出版周期Irregular。2021-2022年最新版WOS分區等級:Q2,2023年發布的影響因子為0.6,CiteScore指數1.8,SJR指數0.573。本刊為開放獲取期刊。

《計算機科學中的邏輯方法》是一本經過全面評審的免費電子期刊,可免費訪問。它歡迎發表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文;其范圍內的一些特定領域如下所列。論文以傳統方式評審,每篇論文由兩名或多名評審員評審。版權歸作者所有。

計算機科學中的邏輯方法主題:

代數方法

自動機和邏輯

自動推理

分類模型和邏輯

共代數方法

可計算性和邏輯

計算機輔助驗證

并發理論

約束編程

信息物理系統

數據庫理論

可廢止推理

領域理論

新興主題:生物學中的計算系統

新興主題:量子計算和邏輯

有限模型理論

形式化數學

函數式編程和 lambda 演算

歸納邏輯和學習

交互式證明檢查

邏輯和算法

邏輯和復雜性

邏輯和游戲

邏輯和概率

知識表示邏輯

邏輯編程

程序邏輯

模態和時間邏輯

程序分析和類型檢查

程序開發和規范

證明復雜性

實時和混合系統

關于動作和計劃的推理

可滿足性

安全性

編程語言的語義

術語重寫和方程邏輯

類型理論和建設性數學。

中科院分區信息

計算機科學中的邏輯方法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期刊分區(又稱分區表、分區數據)是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中,主要參考3年平均IF作為學術影響力,最終每個分區的期刊累積學術影響力是相同的,各區的期刊數量由高到底呈金字塔式分布。

JCR分區信息

Logical Methods In Computer Science(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%
名詞解釋:

湯森路透每年出版一本《期刊引用報告》(Journal Citation Reports,簡稱JCR)。JCR對86000多種SCI期刊的影響因子(Impact Factor)等指數加以統計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中,主要參考當年IF,最終每個分區的期刊數量是均分的。

期刊數據統計

1、Cite Score(2024年最新版)
學科類別 分區 排名 百分位
大類:Computer Science 小類:General Computer Science Q3 152 / 232
34%
大類:Computer Science 小類:Theoretical Computer Science Q4 100 / 130
23%
名詞解釋:

CiteScore:該指標由Elsevier于2016年提出,指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是:例如,某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數,除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。

2、綜合數據
3、本刊綜合數據對比及走勢

文章引用數據

文章名稱 引用次數
  • SHRUB-DEPTH: CAPTURING HEIGHT OF DENSE G...

    9
  • SIZE, COST, AND CAPACITY: A SEMANTIC TEC...

    5
  • A DICHOTOMY FOR FIRST-ORDER REDUCTS OF U...

    3
  • COINDUCTIVE FOUNDATIONS OF INFINITARY RE...

    3
  • ON THE ALGEBRAIC STRUCTURE OF WEIHRAUCH ...

    3
  • SOS-BASED MODAL DECOMPOSITION ON NONDETE...

    2
  • NASH EQUILIBRIUM AND BISIMULATION INVARI...

    2
  • REWRITABILITY IN MONADIC DISJUNCTIVE DAT...

    2
  • DYNAMIC CAUSALITY IN EVENT STRUCTURES

    2
  • COAXIOMS: FLEXIBLE COINDUCTIVE DEFINITIO...

    2

期刊被引用數據

期刊名稱 引用次數
  • LOG METH COMPUT SCI

    103
  • J LOG ALGEBR METHODS

    25
  • FUND INFORM

    18
  • INFORM COMPUT

    18
  • MATH STRUCT COMP SCI

    18
  • ACM T COMPUT LOG

    15
  • J AUTOM REASONING

    15
  • THEOR COMPUT SCI

    13
  • J COMPUT SYST SCI

    11
  • J FUNCT PROGRAM

    11

期刊引用數據

期刊名稱 引用次數
  • THEOR COMPUT SCI

    192
  • LOG METH COMPUT SCI

    103
  • INFORM COMPUT

    95
  • ANN PURE APPL LOGIC

    63
  • J ACM

    63
  • MATH STRUCT COMP SCI

    58
  • J COMPUT SYST SCI

    43
  • ACM T COMPUT LOG

    39
  • J SYMBOLIC LOGIC

    39
  • J LOGIC COMPUT

    36

相關期刊

常見問題

SCI期刊導航

免責聲明

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

主站蜘蛛池模板: 亚洲精品国偷拍自产在线观看蜜桃| 久久久亚洲欧洲日产国产成人无码| 天堂资源在线www中文| 欧美成妇人吹潮在线播放| 欧美一区二区三区| 国产精品久久国产三级国不卡顿 | 无码精品视频一区二区三区| 免费无码鲁丝片一区二区| 无码人妻精品一区二区三区不卡| 国产精品18久久久久久vr| 免费无码成人av在线播放不卡| 性生交大片免费看l| 久久久亚洲色| 中文字幕高清免费日韩视频在线 | 日韩av中文无码影院| 日产电影一区二区三区| 再深点灬舒服灬太大了网站| 中文字幕韩国三级理论| 日本在线视频www色| 国产重口老太和小伙| 丁香婷婷综合激情五月色| 欧美老妇交乱视频在线观看| 麻豆亚洲一区| 亚洲精品国产精品乱码不卡√| 午夜精品久久久久久毛片| 一二三四在线视频社区3 | 无码人妻一区二区三区一| 国产主播一区二区三区在线观看| 国产 | 久你欧洲野花视频欧洲1| 国产偷国产偷亚洲高清人乐享| 亚洲乱码精品久久久久.. | 国产精品久久久久久久久久久久午衣片| 人妻精品丝袜一区二区无码av| 亚洲a∨无码男人的天堂| 性做久久久久久久| 国产亚洲精品第一综合麻豆| 免费观看美女裸体网站| 亚洲精品无amm毛片| 国产精品一区二区久久精品| 午夜视频在线| 亚洲 另类 熟女 字幕|