99精品久久这里只有精品,三上悠亚免费一区二区在线,91精品福利一区二区,爱a久久片,无国产精品白浆免费视,中文字幕欧美一区,爽妇网国产精品,国产一级做a爱免费观看,午夜一级在线,国产精品偷伦视频免费手机播放

    <del id="eyo20"><dfn id="eyo20"></dfn></del>
  • <small id="eyo20"><abbr id="eyo20"></abbr></small>
      <strike id="eyo20"><samp id="eyo20"></samp></strike>
    • 首頁(yè) > SCI期刊 > 數(shù)學(xué)期刊 > Journal Of Logic And Computation(非官網(wǎng))

      Journal Of Logic And Computation SCIE

      國(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ù)警名單。

      • 4區(qū) 中科院分區(qū)
      • Q1 JCR分區(qū)
      • 89 年發(fā)文量
      • 0.7 IF影響因子
      • 未開(kāi)放 是否OA
      • 49 H-index
      • 1990 創(chuàng)刊年份
      • Bimonthly 出版周期
      • English 出版語(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.

      [ 查看全部 ]

      Journal Of Logic And Computation期刊信息

      • ISSN:0955-792X
      • 出版語(yǔ)言:English
      • 是否OA:未開(kāi)放
      • E-ISSN:1465-363X
      • 出版地區(qū):ENGLAND
      • 是否預(yù)警:
      • 出版商:Oxford University Press
      • 出版周期:Bimonthly
      • 創(chuàng)刊時(shí)間:1990
      • 開(kāi)源占比:0.0805
      • Gold OA文章占比:14.34%
      • OA被引用占比:0
      • 出版國(guó)人文章占比:0.05
      • 出版撤稿占比:0
      • 研究類(lèi)文章占比:100.00%

      Journal Of Logic And Computation CiteScore評(píng)價(jià)數(shù)據(jù)(2024年最新版)

      CiteScore SJR SNIP CiteScore 指數(shù)
      1.9 0.472 1.062
      學(xué)科類(lèi)別 分區(qū) 排名 百分位
      大類(lèi):Arts and Humanities 小類(lèi):Arts and Humanities (miscellaneous) Q2 169 / 552

      69%

      大類(lèi):Arts and Humanities 小類(lèi):Logic Q2 16 / 41

      62%

      大類(lèi):Arts and Humanities 小類(lèi):Theoretical Computer Science Q3 96 / 130

      26%

      大類(lèi):Arts and Humanities 小類(lèi):Hardware and Architecture Q4 138 / 177

      22%

      大類(lèi):Arts and Humanities 小類(lèi):Software Q4 324 / 407

      20%

      名詞解釋?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ù)論文。

      Journal Of Logic And Computation中科院評(píng)價(jià)數(shù)據(jù)

      中科院 2023年12月升級(jí)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      數(shù)學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

      中科院 2022年12月升級(jí)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

      中科院 2021年12月舊的升級(jí)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

      中科院 2021年12月基礎(chǔ)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      工程技術(shù) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 3區(qū)

      中科院 2021年12月升級(jí)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      計(jì)算機(jī)科學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

      中科院 2020年12月舊的升級(jí)版

      Top期刊 綜述期刊 大類(lèi)學(xué)科 小類(lèi)學(xué)科
      計(jì)算機(jī)科學(xué) 3區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 3區(qū) 3區(qū)

      Journal Of Logic And Computation JCR評(píng)價(jià)數(shù)據(jù)(2023-2024年最新版)

      按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%

      Journal Of Logic And Computation歷年數(shù)據(jù)統(tǒng)計(jì)

      影響因子
      中科院分區(qū)

      Journal Of Logic And Computation中國(guó)學(xué)者發(fā)文選摘

      • 1、Sahlqvist correspondence theory for second-order propositional modal logic

        Author: Zhao, Zhiguang

        Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 3, pp. 577-598. DOI: 10.1093/logcom/exac036

      • 2、Integrating individual preferences into collective argumentation

        Author: Li, Chonghui; Liao, Beishui

        Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 344-369. DOI: 10.1093/logcom/exac097

      • 3、Game equivalence and expressive power of game description languages: a bisimulation approach

        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

      • 4、Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks

        Author: Chen, Weiwei

        Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 319-343. DOI: 10.1093/logcom/exac096

      • 5、Modal structures in groups and vector spaces

        Author: van Benthem, Johan; Bezhanishvili, Nick

        Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exac105

      免責(zé)聲明

      若用戶需要出版服務(wù),請(qǐng)聯(lián)系出版商:OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。

      国产AV无码专区久久精品网站| 国产情侣自拍一区视频| 日韩精品专区av无码| 久久久久久国产精品美女| 99久久久无码国产精品动漫| 国产精品亚洲最新地址| 国产麻花豆剧传媒精品mv在线| 亚洲av麻豆aⅴ无码电影| 久久99精品免费一区二区| 久久国产精品国产精品久久| 国产午夜亚洲精品国产成人av | 青青久久精品一本一区人人| 午夜精品久久久久久久| 国产久热精品无码激情| 亚洲国产成人精品激情| 日本女优免费一区二区三区| 亚洲av香蕉一区区二区三区| a亚洲va欧美va国产综合| 国产AV高清精品久久| 日本一区二区三级在线| 国内女人喷潮完整视频| 亚洲精品第一页国产精品| 久久这里只有精品黄色| 亚洲天堂成人av在线观看| 亚洲性啪啪无码av天堂| 久久精品性无码一区二区爱爱| 免费女女同黄毛片av网站| 亚洲av成人片无码网站| 在线观看免费a∨网站| 日韩狼人精品在线观看| 日本一区二区三级在线观看 | 国产免费牲交视频| 亚洲 暴爽 av人人爽日日碰| 国产不卡视频一区二区在线观看| 日本最新视频一区二区| 中文人妻熟妇乱又伦精品| 精品国产免费Av无码久久久| 少妇特殊按摩高潮对白| 五月综合激情婷婷六月| 日韩精品无码久久一区二区三| 一区二区三区四区在线观看视频|