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

首頁 > 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。

主站蜘蛛池模板: 亚洲男同志gay 片可播放| 成 人 免 费 黄 色| 亚洲av人人澡人人爽人人夜夜| 人妻丰满av无码中文字幕| 亚洲久热无码av中文字幕| 欧美 国产 综合 欧美 视频| 国产精品无码素人福利不卡| 亚洲精品无码成人| 成人午夜精品无码区久久| 日韩av片无码一区二区三区不卡| 蜜桃精品成人影片| 国产成人a∨麻豆精品| 久久久久亚洲av成人无码| 国产人与zoxxxx另类| 欧美mv日韩mv国产网站| 天天爽夜夜爽夜夜爽精品视频| 日本在线视频www鲁啊鲁| 久久国产精品一国产精品金尊| 亚洲精品无码不卡在线播he| 亚洲人交乣女bbw| 97久久精品无码一区二区天美| 人妻人人澡人人添人人爽人人玩| 久久精品动漫一区二区三区| 婷婷综合久久中文字幕| 天天躁日日躁狠狠躁欧美老妇小说 | 性欧美牲交在线视频| 九九视频在线观看视频6| 天堂中文官网在线| 亚洲gv猛男gv无码男同短文| 亚洲欧美中文日韩在线v日本| 亚洲综合久久精品无码色欲| 国产av麻豆mag剧集| 國产一二三内射在线看片| 中文字幕av无码一区二区三区| 苍井空一区二区波多野结衣av| 老妇高潮潮喷到猛进猛出| 门卫又粗又大又长好爽| 国产精品99久久久久久董美香| 中国农村熟妇性视频| 免费又黄又裸乳的视频| 亚洲日韩成人av无码网站|