<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>
    首頁 > SCI期刊 > 數學 > 中科院4區 > JCRQ1 > 期刊介紹
    Journal Of Logic And Computation

    邏輯與計算雜志 SCIE

    Journal Of Logic And Computation

    較慢,6-12周 審稿時間

    4區中科院分區

    Q1JCR分區

    0.7影響因子

    0955-792X

    1465-363X

    J LOGIC COMPUT

    ENGLAND

    工程技術 - 計算機:理論方法

    1990

    49

    Bimonthly

    English

    89

    0.14...

    投稿咨詢 加急服務

    期刊簡介

    邏輯與計算雜志(Journal Of Logic And Computation)是一本由Oxford University Press出版的一本工程技術-計算機:理論方法學術刊物,主要報道工程技術-計算機:理論方法相關領域研究成果與實踐。本刊已入選來源期刊,該刊創刊于1990年,出版周期Bimonthly。2021-2022年最新版WOS分區等級:Q1,2023年發布的影響因子為0.7,CiteScore指數1.9,SJR指數0.472。本刊非開放獲取期刊。

    邏輯幾乎應用于信息技術的所有方面,從軟件工程和硬件到編程和人工智能。事實上,邏輯、人工智能和理論計算相互影響,以至于一個新的跨學科領域“邏輯與計算”正在興起。

    《邏輯與計算雜志》旨在促進邏輯和計算的發展,其中包括以下感興趣的領域:邏輯系統,例如經典和非經典邏輯、構造邏輯、范疇邏輯、模態邏輯、類型理論、可行數學……邏輯編程、知識型系統和自動推理中的邏輯問題;知識表示中的邏輯問題,例如非單調推理和知識與信念系統;編程的邏輯和語義;程序和系統的規范和驗證;邏輯在硬件和 VLSI、自然語言、并發計算、規劃和數據庫中的應用。大部分內容是技術科學論文,但也包括信件、評論和討論以及相關的會議評論。

    中科院分區信息

    邏輯與計算雜志2023年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    數學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區
    邏輯與計算雜志2022年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區
    邏輯與計算雜志2021年12月舊的升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區
    邏輯與計算雜志2021年12月基礎版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    工程技術 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 3區
    邏輯與計算雜志2021年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區
    邏輯與計算雜志2020年12月舊的升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 3區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 3區 3區
    名詞解釋:

    中科院JCR期刊分區(又稱分區表、分區數據)是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中,主要參考3年平均IF作為學術影響力,最終每個分區的期刊累積學術影響力是相同的,各區的期刊數量由高到底呈金字塔式分布。

    JCR分區信息

    Journal Of Logic And Computation(2023-2024年最新版數據)
    按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%
    名詞解釋:

    湯森路透每年出版一本《期刊引用報告》(Journal Citation Reports,簡稱JCR)。JCR對86000多種SCI期刊的影響因子(Impact Factor)等指數加以統計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中,主要參考當年IF,最終每個分區的期刊數量是均分的。

    期刊數據統計

    1、Cite Score(2024年最新版)
    學科類別 分區 排名 百分位
    大類:Arts and Humanities 小類:Arts and Humanities (miscellaneous) Q2 169 / 552
    69%
    大類:Arts and Humanities 小類:Logic Q2 16 / 41
    62%
    大類:Arts and Humanities 小類:Theoretical Computer Science Q3 96 / 130
    26%
    大類:Arts and Humanities 小類:Hardware and Architecture Q4 138 / 177
    22%
    大類:Arts and Humanities 小類:Software Q4 324 / 407
    20%
    名詞解釋:

    CiteScore:該指標由Elsevier于2016年提出,指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是:例如,某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數,除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。

    2、綜合數據
    3、本刊綜合數據對比及走勢

    文章引用數據

    文章名稱 引用次數
    • Normative reasoning by sequent-based arg...

      3
    • Reasoning with maximal consistency by ar...

      3
    • Coalition logic with individual, distrib...

      3
    • Not only size, but also shape counts: ab...

      2
    • On an intuitionistic logic for pragmatic...

      2
    • Logics based on linear orders of contami...

      2
    • Taking the path computably traveled

      2
    • Satisfiability for relation-changing log...

      2
    • Modal logics of sabotage revisited

      2
    • Symbolic model checking for Dynamic Epis...

      2

    期刊被引用數據

    期刊名稱 引用次數
    • J LOGIC COMPUT

      38
    • LOG METH COMPUT SCI

      36
    • LOG J IGPL

      29
    • MATH STRUCT COMP SCI

      26
    • ANN PURE APPL LOGIC

      25
    • ARTIF INTELL

      23
    • ACM T COMPUT LOG

      22
    • STUD LOGICA

      21
    • THEOR PRACT LOG PROG

      20
    • REV SYMB LOGIC

      17

    期刊引用數據

    期刊名稱 引用次數
    • J LOGIC COMPUT

      38
    • STUD LOGICA

      37
    • J SYMBOLIC LOGIC

      35
    • THEOR COMPUT SCI

      29
    • ANN PURE APPL LOGIC

      28
    • ARTIF INTELL

      24
    • INFORM COMPUT

      19
    • MATH STRUCT COMP SCI

      19
    • LOG J IGPL

      16
    • J ACM

      15

    國家/地區發文數據

    國家/地區名 數量
    • USA

      43
    • England

      23
    • GERMANY (FED REP GER)

      23
    • Italy

      22
    • France

      21
    • Netherlands

      18
    • CHINA MAINLAND

      14
    • Japan

      11
    • Austria

      10
    • Russia

      9

    機構發文數據

    機構名 數量
    • CENTRE NATIONAL DE LA RECHERCHE SCIENTIF...

      15
    • UNIVERSITY OF AMSTERDAM

      10
    • TECHNISCHE UNIVERSITAT WIEN

      9
    • CITY UNIVERSITY OF NEW YORK (CUNY) SYSTE...

      8
    • CONSEJO NACIONAL DE INVESTIGACIONES CIEN...

      5
    • HSE UNIVERSITY (NATIONAL RESEARCH UNIVER...

      5
    • RUSSIAN ACADEMY OF SCIENCES

      5
    • UNIVERSITY OF BAYREUTH

      5
    • UNIVERSITY OF LIVERPOOL

      5
    • JAPAN ADVANCED INSTITUTE OF SCIENCE & TE...

      4

    相關期刊

    常見問題

    SCI期刊導航

    免責聲明

    若用戶需要出版服務,請聯系出版商:OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。

    主站蜘蛛池模板: 满洲里市| 昔阳县| 安多县| 兴仁县| 黄平县| 建水县| 泰宁县| 竹山县| 贵德县| 神木县| 左云县| 聂荣县| 永和县| 黄浦区| 山东省| 扎囊县| 昌吉市| 和政县| 邯郸市| 定兴县| 靖边县| 青海省| 商河县| 安阳县| 买车| 永福县| 平谷区| 青州市| 京山县| 睢宁县| 衡山县| 满城县| 将乐县| 玛沁县| 宁陕县| 临夏市| 本溪| 怀远县| 遵化市| 阿巴嘎旗| 兴海县|