国产综合久久久久-狠狠色噜噜狠狠狠狠av-国产女人乱人伦精品一区二区-亚洲a∨国产av综合av下载-爱做久久久久久

首頁 > SCI期刊 > 數(shù)學(xué) > 中科院4區(qū) > -> JCRQ1 > 期刊介紹
Journal Of Logical And Algebraic Methods In Programming 加入收藏

程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志 SCIE

Journal Of Logical And Algebraic Methods In Programming

審稿時(shí)間

4區(qū)中科院分區(qū)

Q1JCR分區(qū)

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...

投稿咨詢 加急服務(wù)

期刊簡(jiǎn)介

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

《編程中的邏輯和代數(shù)方法雜志》是一本國(guó)際期刊,旨在發(fā)表高質(zhì)量的原創(chuàng)研究論文、調(diào)查和評(píng)論文章、教程闡述和歷史研究,涉及邏輯和代數(shù)方法和技術(shù)領(lǐng)域,以保證程序和一般計(jì)算系統(tǒng)的正確性和可執(zhí)行性。將涵蓋所有方面,尤其是理論和基礎(chǔ)、實(shí)施問題以及涉及新想法的應(yīng)用。

中科院分區(qū)信息

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

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

JCR分區(qū)信息

Journal Of Logical And Algebraic Methods In Programming(2023-2024年最新版數(shù)據(jù))
按JIF指標(biāo)學(xué)科分區(qū) 收錄子集 分區(qū) 排名 百分位
學(xué)科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143
27.6%
學(xué)科:LOGIC SCIE Q1 4 / 25
86%
按JCI指標(biāo)學(xué)科分區(qū) 收錄子集 分區(qū) 排名 百分位
學(xué)科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 45 / 143
68.88%
學(xué)科:LOGIC SCIE Q2 8 / 25
70%
名詞解釋:

湯森路透每年出版一本《期刊引用報(bào)告》(Journal Citation Reports,簡(jiǎn)稱JCR)。JCR對(duì)86000多種SCI期刊的影響因子(Impact Factor)等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類別在JCR的Journal Ranking中,主要參考當(dāng)年IF,最終每個(gè)分區(qū)的期刊數(shù)量是均分的。

期刊數(shù)據(jù)統(tǒng)計(jì)

1、Cite Score(2024年最新版)
學(xué)科類別 分區(qū) 排名 百分位
大類: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:該指標(biāo)由Elsevier于2016年提出,指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是:例如,某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù),除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。

2、綜合數(shù)據(jù)
3、本刊綜合數(shù)據(jù)對(duì)比及走勢(shì)

文章引用數(shù)據(jù)

文章名稱 引用次數(shù)
  • 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

期刊被引用數(shù)據(jù)

期刊名稱 引用次數(shù)
  • 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

期刊引用數(shù)據(jù)

期刊名稱 引用次數(shù)
  • 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

國(guó)家/地區(qū)發(fā)文數(shù)據(jù)

國(guó)家/地區(qū)名 數(shù)量
  • Italy

    35
  • France

    27
  • England

    24
  • GERMANY (FED REP GER)

    23
  • Spain

    21
  • USA

    19
  • Sweden

    16
  • Norway

    13
  • Denmark

    12
  • Netherlands

    12

機(jī)構(gòu)發(fā)文數(shù)據(jù)

機(jī)構(gòu)名 數(shù)量
  • 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

相關(guān)期刊

常見問題

SCI期刊導(dǎo)航

免責(zé)聲明

若用戶需要出版服務(wù),請(qǐng)聯(lián)系出版商:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。

主站蜘蛛池模板: 国产精品你懂的在线播放| 国精产品一区一区三区有限在线| 日本熟妇乱人伦a片免费高清| 麻豆成人国产亚洲精品a区| 午夜精品一区二区三区在线视 | 色妞色综合久久夜夜| 国产精品无码久久久久久| 污污内射久久一区二区欧美日韩| 亚洲国产欧洲综合997久久| 制服丝袜av无码专区| 日本免费一区高清观看| 亚洲专区+欧美专区+自拍| 绝顶高潮合集videos| 欧洲精品码一区二区三区免费看| 豆国产97在线 | 亚洲| 国产乱子轮xxx农村| 亚洲精品国产一区二区精华液| 国产麻豆一精品一av一免费| 性色欲情网站iwww| 国产三级做爰在线播放| 国产亚洲精品久久久一区| 四虎国产精品永久在线| 香蕉精品亚洲二区在线观看| 亚洲精品综合网在线8050影院| 国产乱子伦视频大全亚瑟影院 | 无码乱人伦一区二区亚洲| 高清中文字幕在线a片| 国产成人无码网站| 精品无码一区在线观看| 国产一乱一伦一情| 色喜国模李晴超大尺度| 亚洲色无码一区二区三区| 爆乳熟妇一区二区三区霸乳| 中文字幕人妻熟女人妻| 日本三级理论久久人妻电影| 国产女人高潮毛片| 亚洲a无码综合a国产av中文| 女厕厕露p撒尿八个少妇| 国产真实的和子乱拍在线观看| 欧美日韩一区二区三区视频播放| 午夜男女xx00视频福利|