国际简称:J LOGIC COMPUT 参考译名:逻辑与计算杂志
主要研究方向:工程技术-计算机:理论方法 非预警期刊 审稿周期: 较慢,6-12周
《逻辑与计算杂志》(Journal Of Logic And Computation)是一本由Oxford University Press出版的以工程技术-计算机:理论方法为研究特色的国际期刊,发表该领域相关的原创研究文章、评论文章和综述文章,及时报道该领域相关理论、实践和应用学科的最新发现,旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊,近三年没有被列入预警名单。
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
CiteScore | SJR | SNIP | CiteScore 指数 | ||||||||||||||||||||||||
1.9 | 0.472 | 1.062 |
|
名词解释:CiteScore 是衡量期刊所发表文献的平均受引用次数,是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年(含计算年度)的被引次数除以该期刊近四年发表的文献数。例如,2022年的 CiteScore 计算方法为:2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量 注:文献类型包括:文章、评论、会议论文、书籍章节和数据论文。
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 3区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 4区 4区 |
Top期刊 | 综述期刊 | 大类学科 | 小类学科 | ||
否 | 否 | 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 | 3区 3区 |
按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
学科:LOGIC | SCIE | Q1 | 4 / 25 |
86% |
按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 61 / 143 |
57.69% |
学科:LOGIC | SCIE | Q3 | 14 / 25 |
46% |
Author: Zhao, Zhiguang
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 3, pp. 577-598. DOI: 10.1093/logcom/exac036
Author: Li, Chonghui; Liao, Beishui
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 344-369. DOI: 10.1093/logcom/exac097
Author: Jiang, Guifei; Perrussel, Laurent; Zhang, Dongmo; Zhang, Heng; Zhang, Yuzhi
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 1, pp. 163-187. DOI: 10.1093/logcom/exac034
Author: Chen, Weiwei
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 319-343. DOI: 10.1093/logcom/exac096
Author: van Benthem, Johan; Bezhanishvili, Nick
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exac105
Mathematics And Computers In Simulation
中科院 2区 JCR Q1
Israel Journal Of Mathematics
中科院 2区 JCR Q2
Periodica Mathematica Hungarica
中科院 3区 JCR Q3
Discrete Dynamics In Nature And Society
中科院 4区 JCR Q2
Chaos Solitons & Fractals
中科院 1区 JCR Q1
Networks And Heterogeneous Media
中科院 4区 JCR Q3
Physica D-nonlinear Phenomena
中科院 3区 JCR Q1
Qualitative Theory Of Dynamical Systems
中科院 3区 JCR Q1
若用户需要出版服务,请联系出版商:OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。