亚洲国产精品无码成人片久久-夜夜高潮夜夜爽夜夜爱爱-午夜精品久久久久久久无码-凹凸在线无码免费视频

首頁 > SCI期刊 > 數學 > 中科院4區 > JCRQ1 > 期刊介紹
Journal Of Logical And Algebraic Methods In Programming

程序設計中的邏輯和代數方法雜志 SCIE

Journal Of Logical And Algebraic Methods In Programming

審稿時間

4區中科院分區

Q1JCR分區

0.7影響因子

2352-2208

2352-2216

J LOG ALGEBR METHODS

UNITED STATES

COMPUTER SCIENCE, THEORY & METHODS - LOGIC

2014

9

6 issues/year

English

44

0.22...

投稿咨詢 加急服務

期刊簡介

程序設計中的邏輯和代數方法雜志(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的一本COMPUTER SCIENCE, THEORY & METHODS-LOGIC學術刊物,主要報道COMPUTER SCIENCE, THEORY & METHODS-LOGIC相關領域研究成果與實踐。本刊已入選來源期刊,該刊創刊于2014年,出版周期6 issues/year。2021-2022年最新版WOS分區等級:Q1,2023年發布的影響因子為0.7,CiteScore指數2.6,SJR指數0.577。本刊非開放獲取期刊。

《編程中的邏輯和代數方法雜志》是一本國際期刊,旨在發表高質量的原創研究論文、調查和評論文章、教程闡述和歷史研究,涉及邏輯和代數方法和技術領域,以保證程序和一般計算系統的正確性和可執行性。將涵蓋所有方面,尤其是理論和基礎、實施問題以及涉及新想法的應用。

中科院分區信息

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

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

JCR分區信息

Journal Of Logical And Algebraic Methods In Programming(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 45 / 143
68.88%
學科:LOGIC SCIE Q2 8 / 25
70%
名詞解釋:

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

期刊數據統計

1、Cite Score(2024年最新版)
學科類別 分區 排名 百分位
大類:Mathematics 小類:Logic Q1 9 / 41
79%
大類:Mathematics 小類:Computational Theory and Mathematics Q3 91 / 176
48%
大類:Mathematics 小類:Theoretical Computer Science Q3 70 / 130
46%
大類:Mathematics 小類:Software Q3 276 / 407
32%
名詞解釋:

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

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

文章引用數據

文章名稱 引用次數
  • Metalevel algorithms for variant satisfi...

    4
  • From distributed coordination to field c...

    4
  • On the essence and initiality of conflic...

    3
  • From probability monads to commutative e...

    3
  • Multilevel coupled model transformations...

    3
  • Model checking and synthesis for branchi...

    2
  • A logic-algebraic tool for reasoning wit...

    2
  • Verification of finite-state machines: A...

    2
  • Sequential pattern mining for ICT risk a...

    2
  • Axiomatising infinitary probabilistic we...

    2

期刊被引用數據

期刊名稱 引用次數
  • J LOG ALGEBR METHODS

    47
  • SCI COMPUT PROGRAM

    7
  • LOG METH COMPUT SCI

    6
  • IEEE ACCESS

    5
  • INT J SOFTW TOOLS TE

    5
  • ACTA INFORM

    4
  • FORM ASP COMPUT

    4
  • MATH STRUCT COMP SCI

    3
  • THEOR COMPUT SCI

    3
  • ACM T PRIV SECUR

    2

期刊引用數據

期刊名稱 引用次數
  • THEOR COMPUT SCI

    108
  • J LOG ALGEBR METHODS

    47
  • INFORM COMPUT

    46
  • ACM T PROGR LANG SYS

    30
  • FUND INFORM

    29
  • COMMUN ACM

    28
  • J ACM

    28
  • SCI COMPUT PROGRAM

    28
  • LOG METH COMPUT SCI

    25
  • ACTA INFORM

    23

國家/地區發文數據

國家/地區名 數量
  • Italy

    35
  • France

    27
  • England

    24
  • GERMANY (FED REP GER)

    23
  • Spain

    21
  • USA

    19
  • Sweden

    16
  • Norway

    13
  • Denmark

    12
  • Netherlands

    12

機構發文數據

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

    16
  • INRIA

    13
  • UNIVERSITY OF BOLOGNA

    9
  • UNIVERSITY OF PISA

    9
  • UNIVERSITAT POLITECNICA DE VALENCIA

    8
  • UNIVERSITY OF LONDON

    8
  • UNIVERSITY OF OSLO

    8
  • COMPLUTENSE UNIVERSITY OF MADRID

    7
  • CHALMERS UNIVERSITY OF TECHNOLOGY

    5
  • ROYAL INSTITUTE OF TECHNOLOGY

    5

相關期刊

SCI期刊導航

免責聲明

若用戶需要出版服務,請聯系出版商:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。

主站蜘蛛池模板: 乌克兰少妇videos高潮| 最新亚洲人成无码网站| 亚洲午夜精品一区二区| 亚洲女同一区二区| 国产av一区二区三区无码野战| 九九精品国产亚洲av日韩| 亚洲欭美日韩颜射在线二| 亚洲成av人的天堂在线观看 | 三年片大全在线观看 | 无码人妻少妇久久中文字幕| 日本肉体xxxx裸交| 国产9 9在线 | 欧洲| 蜜臀av性久久久久蜜臀aⅴ麻豆 | 日韩精品无码一区二区三区免费| 久久久国产精品亚洲一区| 国产乱人激情h在线观看| 人人超人人超碰超国产| 麻豆亚洲国产成人精品无码区| 中文在线а√在线天堂中文 | 亚洲国产精品综合久久网各| 国产手机在线αⅴ片无码观看| 国产精品久久久久久| 国产成人a∨麻豆精品| 国产亚洲av手机在线观看| 国产欧美精品一区二区三区| 性色av无码久久一区二区三区| 亚洲人成亚洲人成在线观看| 亚洲精品午夜国产va久久成人| 国产精品免费看久久久| 狼人香蕉香蕉在线28 - 百度| 成人国产一区二区三区| 免费国产高清在线精品一区| 日本三级吃奶头添泬| 强奷乱码中文字幕| 国产又黄又大又粗视频| 无码国产精成人午夜视频一区二区| 国产精品va无码二区| 无码人妻少妇久久中文字幕| 护士脱了内裤让我爽了一夜视频| 欧美gv在线观看| 亚洲男人第一天堂|