(0)

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

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

Logical Methods In Computer Science

期刊中文名：計算機科學中的邏輯方法ISSN：1860-5974E-ISSN：1860-5974

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

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

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

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

投稿咨詢加急咨詢

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

雜志介紹

Logical Methods In Computer Science雜志介紹

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

小類：

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

LOGIC
邏輯學 4區(qū)

2022年12月升級版

綜述：否

TOP期刊：否

大類：計算機科學 4區(qū)

小類：

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

LOGIC
邏輯學 4區(qū)

2021年12月舊的升級版

綜述：否

TOP期刊：否

大類：計算機科學 4區(qū)

小類：

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

LOGIC
邏輯學 4區(qū)

2021年12月基礎版

綜述：否

TOP期刊：否

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

小類：

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

LOGIC
邏輯學 4區(qū)

2021年12月升級版

綜述：否

TOP期刊：否

大類：計算機科學 4區(qū)

小類：

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

LOGIC
邏輯學 4區(qū)

2020年12月舊的升級版

綜述：否

TOP期刊：否

大類：計算機科學 3區(qū)

小類：

LOGIC
邏輯學 2區(qū)

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

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

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

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

按JIF指標學科分區(qū)

學科：COMPUTER SCIENCE, THEORY & METHODS

收錄子集：SCIE

分區(qū)：Q4

排名：117 / 143

百分位：

18.5%

學科：LOGIC

收錄子集：SCIE

分區(qū)：Q2

排名：10 / 25

百分位：

62%

按JCI指標學科分區(qū)

學科：COMPUTER SCIENCE, THEORY & METHODS

收錄子集：SCIE

分區(qū)：Q2

排名：69 / 143

百分位：

52.1%

學科：LOGIC

收錄子集：SCIE

分區(qū)：Q4

排名：19 / 25

百分位：

26%

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

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

Logical Methods In Computer Science雜志CiteScore 評價數(shù)據(jù)

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%

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

投稿經(jīng)驗

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

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