同大類(lèi)學(xué)科其它級(jí)別期刊:
中科院 1區(qū) 期刊 JCR Q1 期刊 中科院 2區(qū) 期刊 JCR Q2 期刊 中科院 3區(qū) 期刊 JCR Q3 期刊 中科院 4區(qū) 期刊 JCR Q4 期刊國(guó)際簡(jiǎn)稱(chēng):J LOGIC COMPUT 參考譯名:邏輯與計(jì)算雜志
主要研究方向:工程技術(shù)-計(jì)算機(jī):理論方法 非預(yù)警期刊 審稿周期: 較慢,6-12周
《邏輯與計(jì)算雜志》(Journal Of Logic And Computation)是一本由Oxford University Press出版的以工程技術(shù)-計(jì)算機(jī):理論方法為研究特色的國(guó)際期刊,發(fā)表該領(lǐng)域相關(guān)的原創(chuàng)研究文章、評(píng)論文章和綜述文章,及時(shí)報(bào)道該領(lǐng)域相關(guān)理論、實(shí)踐和應(yīng)用學(xué)科的最新發(fā)現(xiàn),旨在促進(jìn)該學(xué)科領(lǐng)域科學(xué)信息的快速交流。該期刊是一本未開(kāi)放期刊,近三年沒(méi)有被列入預(yù)警名單。
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 指數(shù) | ||||||||||||||||||||||||
1.9 | 0.472 | 1.062 |
|
名詞解釋?zhuān)?/b>CiteScore 是衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù),是在 Scopus 中衡量期刊影響力的另一個(gè)指標(biāo)。當(dāng)年CiteScore 的計(jì)算依據(jù)是期刊最近4年(含計(jì)算年度)的被引次數(shù)除以該期刊近四年發(fā)表的文獻(xiàn)數(shù)。例如,2022年的 CiteScore 計(jì)算方法為:2022年的 CiteScore =2019-2022年收到的對(duì)2019-2022年發(fā)表的文件的引用數(shù)量÷2019-2022年發(fā)布的文獻(xiàn)數(shù)量 注:文獻(xiàn)類(lèi)型包括:文章、評(píng)論、會(huì)議論文、書(shū)籍章節(jié)和數(shù)據(jù)論文。
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 3區(qū) |
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 計(jì)算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) |
Top期刊 | 綜述期刊 | 大類(lèi)學(xué)科 | 小類(lèi)學(xué)科 | ||
否 | 否 | 計(jì)算機(jī)科學(xué) | 3區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) | 3區(qū) 3區(qū) |
按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學(xué)科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 104 / 143 |
27.6% |
學(xué)科:LOGIC | SCIE | Q1 | 4 / 25 |
86% |
按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
學(xué)科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 61 / 143 |
57.69% |
學(xué)科: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
Journal Of Mathematical Study
中科院 4區(qū) JCR Q2
Fractal And Fractional
中科院 2區(qū) JCR Q1
Mathematics And Computers In Simulation
中科院 2區(qū) JCR Q1
Advances In Continuous And Discrete Models
中科院 2區(qū) JCR Q1
Statistics And Computing
中科院 2區(qū) JCR Q1
Electronic Journal Of Combinatorics
中科院 4區(qū) JCR Q2
Mathematical Methods In The Applied Sciences
中科院 3區(qū) JCR Q1
Southeast Asian Bulletin Of Mathematics
中科院 4區(qū) JCR Q4
若用戶需要出版服務(wù),請(qǐng)聯(lián)系出版商:OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。