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

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

主站蜘蛛池模板: 久久99精品国产99久久| 人妻丰满被色诱中文字幕| 99久久er热在这里只有精品99| 少妇xxxxx性开放| 日本无遮挡边做边爱边摸| 久久午夜夜伦鲁鲁片免费无码影视 | 青草内射中出高潮| 色一情一乱一伦麻豆| 在线无码中文字幕一区| 精品人妻一区二区三区四区在线| 成人毛片100免费观看| 一本色道久久综合亚洲精品| 老头边吃奶边弄进去呻吟| 久久高清内射无套| 精品无码人妻一区二区三区| 性无码专区无码| 国产在线拍揄自揄拍无码| 精品国产一区二区三区久久影院| 亚洲av无码成人精品区日韩| 亚洲av电影天堂男人的天堂| 色综合久久网| 国产无遮挡裸体免费视频在线观看| 国产乱码字幕精品高清av| 精品国产成人亚洲午夜福利| 国产在线拍揄自揄拍免费下载 | 久久99精品久久久久久秒播| 国产精品免费无遮挡无码永久视频 | 国产成人无码aⅴ片在线观看| 欧美xxxx色视频在线观看瑜伽| 又紧又大又爽精品一区二区 | 丰满少妇人妻无码| 天堂网www在线资源网| 日韩人妻无码一区二区三区| 国产精品欧美一区二区三区不卡 | 亚洲综合av在线在线播放| 日本动漫瀑乳h动漫啪啪免费| 又大又粗弄得我出好多水| 国产成人精品免费久久久久 | 少妇人妻大乳在线视频| 亚洲第一av导航av尤物| 男女18禁啪啪无遮挡网站|