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

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

主站蜘蛛池模板: 中文字幕日韩一区二区三区不卡| 翘臀少妇被扒开屁股日出水爆乳 | 中国人与黑人牲交free欧美 | 成熟丰满熟妇高潮xxxxx视频| 97精品人妻一区二区三区香蕉| 狠狠噜天天噜日日噜| 欧美裸体xxxx极品少妇| 偷偷做久久久久网站| 欧美老妇与禽交| 精品一区二区三区免费毛片爱| 人妻aⅴ中文字幕| 久久综合色鬼综合色| 久久夜色精品国产亚洲| 人妻洗澡被强公日日澡| а√天堂中文在线资源bt种子| 国产精品二区一区二区aⅴ污介绍| 国色天香成人网| 免费a级毛片| 国产精品视频一区二区三区无码| 一个人看的免费视频www| 中文字幕网伦射乱中文| 亚洲妇熟xxxx妇色黄| 2014av手机天堂网免费| 国产精品xxx大片免费观看| 精品人妻大屁股白浆无码| 亚洲精品乱码久久久久66| 精品久久久久国产免费| 国产在线国偷精品免费看| 中文字幕亚洲无线码一区女同| 国语对白嫖老妇胖老太| 免费精品一区二区三区第35| 亚洲国产成人av网站| 边喂奶边中出的人妻| 婷婷伊人久久大香线蕉av| 精品人妻码一区二区三区| 国产免费观看av大片的网站| 天天综合色天天综合色h| 亲子乱子伦xxxx| 亚洲中文字幕国产综合| 国产激情无码视频在线播放性色| 亚洲av无码国产精品永久一区|