(0)

首頁 SCI 期刊數(shù)學(xué)期刊中科院4區(qū) JCRQ2 期刊介紹(非官網(wǎng))

數(shù)據(jù)庫收錄SCIE
創(chuàng)刊年份2005年
年發(fā)文量82
H-index31

Logical Methods In Computer Science

期刊中文名：計(jì)算機(jī)科學(xué)中的邏輯方法ISSN：1860-5974E-ISSN：1860-5974

該雜志國際簡稱：LOG METH COMPUT SCI，是由出版商Technischen Universitat Braunschweig出版的一本致力于發(fā)布數(shù)學(xué)研究新成果的的專業(yè)學(xué)術(shù)期刊。該雜志以COMPUTER SCIENCE, THEORY & METHODS研究為重點(diǎn)，主要發(fā)表刊登有創(chuàng)見的學(xué)術(shù)論文文章、行業(yè)最新科研成果，扼要報(bào)道階段性研究成果和重要研究工作的最新進(jìn)展，選載對學(xué)科發(fā)展起指導(dǎo)作用的綜述與專論，促進(jìn)學(xué)術(shù)發(fā)展，為廣大讀者服務(wù)。該刊是一本國際優(yōu)秀雜志，在國際上有很高的學(xué)術(shù)影響力。

基本信息：: 期刊簡稱：LOG METH COMPUT SCI; 是否OA：開放; 是否預(yù)警：否; Gold OA文章占比：78.21%

出版信息：: 出版地區(qū)：GERMANY; 出版周期：Irregular; 出版語言：English; 出版商：Technischen Universitat Braunschweig

評價(jià)信息：: 中科院分區(qū)：4區(qū); JCR分區(qū)：Q2; 影響因子：0.6; CiteScore：1.8

投稿咨詢加急咨詢

雜志介紹中科院JCR分區(qū) JCR分區(qū) CiteScore 投稿經(jīng)驗(yàn)

雜志介紹

Logical Methods In Computer Science雜志介紹

《Logical Methods In Computer Science》是一本以English為主的開放獲取國際優(yōu)秀期刊，中文名稱計(jì)算機(jī)科學(xué)中的邏輯方法，本刊主要出版、報(bào)道數(shù)學(xué)-COMPUTER SCIENCE, THEORY & METHODS領(lǐng)域的研究動態(tài)以及在該領(lǐng)域取得的各方面的經(jīng)驗(yàn)和科研成果，介紹該領(lǐng)域有關(guān)本專業(yè)的最新進(jìn)展，探討行業(yè)發(fā)展的思路和方法，以促進(jìn)學(xué)術(shù)信息交流，提高行業(yè)發(fā)展。該刊已被國際權(quán)威數(shù)據(jù)庫SCIE收錄，為該領(lǐng)域相關(guān)學(xué)科的發(fā)展起到了良好的推動作用，也得到了本專業(yè)人員的廣泛認(rèn)可。該刊最新影響因子為0.6，最新CiteScore 指數(shù)為1.8。

英文介紹

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.

中科院SCI分區(qū)

Logical Methods In Computer Science雜志中科院分區(qū)信息

2023年12月升級版

綜述：否

TOP期刊：否

大類：數(shù)學(xué) 4區(qū)

小類：

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 4區(qū)

LOGIC
邏輯學(xué) 4區(qū)

2022年12月升級版

綜述：否

TOP期刊：否

大類：計(jì)算機(jī)科學(xué) 4區(qū)

小類：

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 4區(qū)

LOGIC
邏輯學(xué) 4區(qū)

2021年12月舊的升級版

綜述：否

TOP期刊：否

大類：計(jì)算機(jī)科學(xué) 4區(qū)

小類：

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 4區(qū)

LOGIC
邏輯學(xué) 4區(qū)

2021年12月基礎(chǔ)版

綜述：否

TOP期刊：否

大類：工程技術(shù) 4區(qū)

小類：

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 4區(qū)

LOGIC
邏輯學(xué) 4區(qū)

2021年12月升級版

綜述：否

TOP期刊：否

大類：計(jì)算機(jī)科學(xué) 4區(qū)

小類：

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 4區(qū)

LOGIC
邏輯學(xué) 4區(qū)

2020年12月舊的升級版

綜述：否

TOP期刊：否

大類：計(jì)算機(jī)科學(xué) 3區(qū)

小類：

LOGIC
邏輯學(xué) 2區(qū)

COMPUTER SCIENCE, THEORY & METHODS
計(jì)算機(jī)：理論方法 3區(qū)

中科院SCI分區(qū)：是中國科學(xué)院文獻(xiàn)情報(bào)中心科學(xué)計(jì)量中心的科學(xué)研究成果。期刊分區(qū)表自2004年開始發(fā)布，延續(xù)至今；2019年推出升級版，實(shí)現(xiàn)基礎(chǔ)版、升級版并存過渡，2022年只發(fā)布升級版，期刊分區(qū)表數(shù)據(jù)每年底發(fā)布。中科院分區(qū)為4個區(qū)。中科院分區(qū)采用刊物前3年影響因子平均值進(jìn)行分區(qū),即前5%為該類1區(qū)，6%～20%為2區(qū)、21%～50%為3區(qū)，其余的為4區(qū)。1區(qū)和2區(qū)雜志很少，雜志質(zhì)量相對也高，基本都是本領(lǐng)域的頂級期刊。

JCR分區(qū)（2023-2024年最新版）

Logical Methods In Computer Science雜志 JCR分區(qū)信息

按JIF指標(biāo)學(xué)科分區(qū)

學(xué)科：COMPUTER SCIENCE, THEORY & METHODS

收錄子集：SCIE

分區(qū)：Q4

排名：117 / 143

百分位：

18.5%

學(xué)科：LOGIC

收錄子集：SCIE

分區(qū)：Q2

排名：10 / 25

百分位：

62%

按JCI指標(biāo)學(xué)科分區(qū)

學(xué)科：COMPUTER SCIENCE, THEORY & METHODS

收錄子集：SCIE

分區(qū)：Q2

排名：69 / 143

百分位：

52.1%

學(xué)科：LOGIC

收錄子集：SCIE

分區(qū)：Q4

排名：19 / 25

百分位：

26%

JCR分區(qū)：JCR分區(qū)來自科睿唯安公司,JCR是一個獨(dú)特的多學(xué)科期刊評價(jià)工具，為唯一提供基于引文數(shù)據(jù)的統(tǒng)計(jì)信息的期刊評價(jià)資源。每年發(fā)布的JCR分區(qū)，設(shè)置了254個具體學(xué)科。JCR分區(qū)根據(jù)每個學(xué)科分類按照期刊當(dāng)年的影響因子高低將期刊平均分為4個區(qū)，分別為Q1、Q2、Q3和Q4，各占25%。JCR分區(qū)中期刊的數(shù)量是均勻分為四個部分的。

CiteScore 評價(jià)數(shù)據(jù)（2024年最新版）

Logical Methods In Computer Science雜志CiteScore 評價(jià)數(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%

歷年影響因子和期刊自引率

投稿經(jīng)驗(yàn)

Logical Methods In Computer Science雜志投稿經(jīng)驗(yàn)

該雜志是一本國際優(yōu)秀雜志，在國際上有較高的學(xué)術(shù)影響力，行業(yè)關(guān)注度很高，已被國際權(quán)威數(shù)據(jù)庫SCIE收錄，該雜志在COMPUTER SCIENCE, THEORY & METHODS綜合專業(yè)領(lǐng)域?qū)I(yè)度認(rèn)可很高，對稿件內(nèi)容的創(chuàng)新性和學(xué)術(shù)性要求很高，作為一本國際優(yōu)秀雜志，一般投稿過審時間都較長，投稿過審時間平均較慢,6-12周，如果想投稿該刊要做好時間安排。版面費(fèi)不祥。該雜志近兩年未被列入預(yù)警名單，建議您投稿。如您想了解更多投稿政策及投稿方案，請咨詢客服。