當(dāng)前位置: 首頁 JCRQ2 期刊介紹(非官網(wǎng))
Logical Methods In Computer Science

Logical Methods In Computer ScienceSCIE

國際簡稱:LOG METH COMPUT SCI  參考譯名:計(jì)算機(jī)科學(xué)中的邏輯方法

  • 中科院分區(qū)

    4區(qū)

  • CiteScore分區(qū)

    Q3

  • JCR分區(qū)

    Q2

基本信息:
ISSN:1860-5974
E-ISSN:1860-5974
是否OA:開放
是否預(yù)警:否
TOP期刊:否
出版信息:
出版地區(qū):GERMANY
出版商:Technischen Universitat Braunschweig
出版語言:English
出版周期:Irregular
出版年份:2005
研究方向:工程技術(shù)-計(jì)算機(jī):理論方法
評價(jià)信息:
影響因子:0.6
H-index:31
CiteScore指數(shù):1.8
SJR指數(shù):0.573
SNIP指數(shù):0.931
發(fā)文數(shù)據(jù):
Gold OA文章占比:78.21%
研究類文章占比:100.00%
年發(fā)文量:82
自引率:0
開源占比:0.5271
出版撤稿占比:0
出版國人文章占比:0
OA被引用占比:1
英文簡介 期刊介紹 CiteScore數(shù)據(jù) 中科院SCI分區(qū) JCR分區(qū) 常見問題

英文簡介Logical Methods In Computer Science期刊介紹

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Topics of Logical Methods in Computer Science:

Algebraic methods

Automata and logic

Automated deduction

Categorical models and logic

Coalgebraic methods

Computability and Logic

Computer-aided verification

Concurrency theory

Constraint programming

Cyber-physical systems

Database theory

Defeasible reasoning

Domain theory

Emerging topics: Computational systems in biology

Emerging topics: Quantum computation and logic

Finite model theory

Formalized mathematics

Functional programming and lambda calculus

Inductive logic and learning

Interactive proof checking

Logic and algorithms

Logic and complexity

Logic and games

Logic and probability

Logic for knowledge representation

Logic programming

Logics of programs

Modal and temporal logics

Program analysis and type checking

Program development and specification

Proof complexity

Real time and hybrid systems

Reasoning about actions and planning

Satisfiability

Security

Semantics of programming languages

Term rewriting and equational logic

Type theory and constructive mathematics.

期刊簡介Logical Methods In Computer Science期刊介紹

《Logical Methods In Computer Science》自2005出版以來,是一本數(shù)學(xué)優(yōu)秀雜志。致力于發(fā)表原創(chuàng)科學(xué)研究結(jié)果,并為數(shù)學(xué)各個(gè)領(lǐng)域的原創(chuàng)研究提供一個(gè)展示平臺,以促進(jìn)數(shù)學(xué)領(lǐng)域的的進(jìn)步。該刊鼓勵(lì)先進(jìn)的、清晰的闡述,從廣泛的視角提供當(dāng)前感興趣的研究主題的新見解,或?qū)彶槎嗄陙砟硞€(gè)重要領(lǐng)域的所有重要發(fā)展。該期刊特色在于及時(shí)報(bào)道數(shù)學(xué)領(lǐng)域的最新進(jìn)展和新發(fā)現(xiàn)新突破等。該刊近一年未被列入預(yù)警期刊名單,目前已被權(quán)威數(shù)據(jù)庫SCIE收錄,得到了廣泛的認(rèn)可。

該期刊投稿重要關(guān)注點(diǎn):

Cite Score數(shù)據(jù)(2024年最新版)Logical Methods In Computer Science Cite Score數(shù)據(jù)

  • CiteScore:1.8
  • SJR:0.573
  • SNIP:0.931
學(xué)科類別 分區(qū) 排名 百分位
大類:Computer Science 小類:General Computer Science Q3 152 / 232

34%

大類:Computer Science 小類:Theoretical Computer Science Q4 100 / 130

23%

CiteScore 是由Elsevier(愛思唯爾)推出的另一種評價(jià)期刊影響力的文獻(xiàn)計(jì)量指標(biāo)。反映出一家期刊近期發(fā)表論文的年篇均引用次數(shù)。CiteScore以Scopus數(shù)據(jù)庫中收集的引文為基礎(chǔ),針對的是前四年發(fā)表的論文的引文。CiteScore的意義在于,它可以為學(xué)術(shù)界提供一種新的、更全面、更客觀地評價(jià)期刊影響力的方法,而不僅僅是通過影響因子(IF)這一單一指標(biāo)來評價(jià)。

歷年Cite Score趨勢圖

中科院SCI分區(qū)Logical Methods In Computer Science 中科院分區(qū)

中科院 2023年12月升級版 綜述期刊:否 Top期刊:否
大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū)
數(shù)學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

中科院分區(qū)表 是以客觀數(shù)據(jù)為基礎(chǔ),運(yùn)用科學(xué)計(jì)量學(xué)方法對國際、國內(nèi)學(xué)術(shù)期刊依據(jù)影響力進(jìn)行等級劃分的期刊評價(jià)標(biāo)準(zhǔn)。它為我國科研、教育機(jī)構(gòu)的管理人員、科研工作者提供了一份評價(jià)國際學(xué)術(shù)期刊影響力的參考數(shù)據(jù),得到了全國各地高校、科研機(jī)構(gòu)的廣泛認(rèn)可。

中科院分區(qū)表 將所有期刊按照一定指標(biāo)劃分為1區(qū)、2區(qū)、3區(qū)、4區(qū)四個(gè)層次,類似于“優(yōu)、良、及格”等。最開始,這個(gè)分區(qū)只是為了方便圖書管理及圖書情報(bào)領(lǐng)域的研究和期刊評估。之后中科院分區(qū)逐步發(fā)展成為了一種評價(jià)學(xué)術(shù)期刊質(zhì)量的重要工具。

歷年中科院分區(qū)趨勢圖

JCR分區(qū)Logical Methods In Computer Science JCR分區(qū)

2023-2024 年最新版
按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%

JCR分區(qū)的優(yōu)勢在于它可以幫助讀者對學(xué)術(shù)文獻(xiàn)質(zhì)量進(jìn)行評估。不同學(xué)科的文章引用量可能存在較大的差異,此時(shí)單獨(dú)依靠影響因子(IF)評價(jià)期刊的質(zhì)量可能是存在一定問題的。因此,JCR將期刊按照學(xué)科門類和影響因子分為不同的分區(qū),這樣讀者可以根據(jù)自己的研究領(lǐng)域和需求選擇合適的期刊。

歷年影響因子趨勢圖

投稿常見問題

通訊方式:TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。

主站蜘蛛池模板: 成人做受视频试看60秒| 亚洲成人免费在线观看| 久久人人爽人人爽人人片av不 | 巨胸喷奶水视频www网快速| 收集最新中文国产中文字幕| 亚洲精品在线网| 青草国产精品久久久久久| 日韩欧美国产高清在线观看| 午夜天堂精品久久久久| 亚洲精品456人成在线| 性之道在线观看| 亚洲中文字幕久久精品无码2021 | 久久精品国产99久久久| 狠狠躁夜夜躁无码中文字幕| 国产在线无码视频一区二区三区| h视频免费在线| 日韩一卡二卡三卡| 亚洲精品乱码久久久久久不卡| 蜜臀精品无码av在线播放| 国产露出调教91| 中文字幕日韩wm二在线看 | A毛片毛片看免费| 日本精品久久久久中文字幕8| 亚洲第一页视频| 男人都懂的网址在线看片| 国产农村妇女一级毛片视频片| 97成人碰碰久久人人超级碰OO| 无码一区二区三区中文字幕 | 久久亚洲最大成人网4438| 女人全身裸无遮挡图片| 久久机热这里只有精品无需| 水蜜桃免费视频| 四虎国产精品永久免费网址| 福利视频导航网站| 国产色爽女小说免费看| 99热精品久久| 成人毛片免费看| 久热精品视频在线观看99小说| 波多野结衣伦理电影| 吃奶摸下激烈视频无遮挡| 久久黄色精品视频|