成人亚洲免费_成人在线免费观看网站_啊啊啊射了视频网站_在线精品国产欧美_国产亚洲成年网址在线观看_日韩一区二区在线免费_98在线视频_2019最新中文字幕_色久优优欧美色久优优_亚洲欧洲一区

Journal Of Logical And Algebraic Methods In Programming

  • ISSN:2352-2208
  • ESSN:2352-2216
  • 國際標準簡稱:J LOG ALGEBR METHODS
  • 出版地區:UNITED STATES
  • 出版周期:6 issues/year
  • 研究方向:COMPUTER SCIENCE, THEORY & METHODS - LOGIC
  • 出版年份:2014
  • 語言:English
  • 是否OA:未開放
  • 學科領域

    數學
  • 中科院分區

    4區
  • JCR分區

    Q1
  • IF影響因子

    0.7
  • 是否預警

期刊簡介

Journal Title:Journal Of Logical And Algebraic Methods In Programming

The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.

中文簡介

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

期刊點評

Journal Of Logical And Algebraic Methods In Programming創刊于2014年,由Elsevier BV出版商出版,收稿方向涵蓋COMPUTER SCIENCE, THEORY & METHODS - LOGIC全領域,此期刊水平偏中等偏靠后,在所屬細分領域中專業影響力一般,過審相對較易,如果您文章質量佳,選擇此期刊,發表機率較高。平均審稿速度 ,影響因子指數0.7,該期刊近期沒有被列入國際期刊預警名單,廣大學者值得一試。

中科院分區(數據版本:2023年12月升級版)

大類學科 分區 小類學科 分區 Top期刊 綜述期刊
數學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區

名詞解釋:
中科院分區也叫中科院JCR分區,基礎版分為13個大類學科,然后按照各類期刊影響因子分別將每個類別分為四個區,影響因子5%為1區,6%-20%為2區,21%-50%為3區,其余為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區

WOS分區(數據版本: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%

名詞解釋:
WOS即Web of Science,是全球獲取學術信息的重要數據庫,Web of Science包括自然科學、社會科學、藝術與人文領域的信息,來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內容。給期刊分區時會按照某一個學科領域劃分,根據這一學科所有按照影響因子數值降序排名,然后平均分成4等份,期刊影響因子值高的就會在高分區中,最后的劃分結果分別是Q1,Q2,Q3,Q4,Q1代表質量最高。

CiteScore分區(數據版本:2024年最新版)

CiteScore SJR SNIP CiteScore排名
2.6 0.577 1.034
學科 分區 排名 百分位
大類: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:衡量期刊所發表文獻的平均受引用次數。
SJR:SCImago 期刊等級衡量經過加權后的期刊受引用次數。引用次數的加權值由施引期刊的學科領域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標準化影響將實際受引用情況對照期刊所屬學科領域中預期的受引用情況進行衡量。

其他數據

是否OA開放訪問: h-index: 年文章數:
未開放 9 44
Gold OA文章占比: 2021-2022最新影響因子(數據來源于搜索引擎): 開源占比(OA被引用占比):
41.51% 0.7 0.15...
研究類文章占比:文章 ÷(文章 + 綜述) 期刊收錄: 中科院《國際期刊預警名單(試行)》名單:
100.00% SCIE

歷年IF值(影響因子):

歷年引文指標和發文量:

歷年中科院JCR大類分區數據:

歷年自引數據:

發文統計

2023-2024國家/地區發文量統計:

國家/地區 數量
Italy 35
France 27
England 24
GERMANY (FED REP GER) 23
Spain 21
USA 19
Sweden 16
Norway 13
Denmark 12
Netherlands 12

2023-2024機構發文量統計:

機構 數量
CENTRE NATIONAL DE LA RECHERCHE ... 16
INRIA 13
UNIVERSITY OF BOLOGNA 9
UNIVERSITY OF PISA 9
UNIVERSITAT POLITECNICA DE VALEN... 8
UNIVERSITY OF LONDON 8
UNIVERSITY OF OSLO 8
COMPLUTENSE UNIVERSITY OF MADRID 7
CHALMERS UNIVERSITY OF TECHNOLOG... 5
ROYAL INSTITUTE OF TECHNOLOGY 5

近年引用統計:

期刊名稱 數量
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

近年被引用統計:

期刊名稱 數量
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

近年文章引用統計:

文章名稱 數量
Metalevel algorithms for variant... 4
From distributed coordination to... 4
On the essence and initiality of... 3
From probability monads to commu... 3
Multilevel coupled model transfo... 3
Model checking and synthesis for... 2
A logic-algebraic tool for reaso... 2
Verification of finite-state mac... 2
Sequential pattern mining for IC... 2
Axiomatising infinitary probabil... 2

相關期刊

同小類學科的其他優質期刊 影響因子 中科院分區
Differential And Integral Equations 1.8 4區
Mathematics 2.3 3區
Aims Mathematics 1.8 3區
Algebra And Logic 0.4 3區
Mathematical Notes 0.6 4區
Fractal And Fractional 3.6 2區
Journal Of The Royal Statistical Society Series C-applied Statistics 1 4區
Communications On Pure And Applied Mathematics 3.1 1區
Theory And Practice Of Logic Programming 1.4 2區
Applied Mathematics And Computation 3.5 2區

更多問題

免責聲明

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

色喇叭免费久久综合网| 欧美xxxx做受欧美.88| 亚洲精品suv精品一区二区| 精品国产91久久久久久久妲己| 在线综合视频播放| 欧美一级爆毛片| 日韩欧美中文字幕一区| 欧美成人精品1314www| 欧美精品一区二区三区很污很色的| 精品国产一区二区精华| 欧美精品一区二区三| 日韩成人久久久| 亚洲欧美国产一区二区三区| 一区二区成人精品| 日韩在线视频观看正片免费网站| 超碰97人人做人人爱少妇| 欧美肥婆姓交大片| 91爱视频在线| 四虎国产成人免费观看| 久久免费精品一区二区| 黄色91视频| 免费黄色av| 久久综合色播| 一二三区在线观看| 国产精品免费播放| 色女人在线视频| 欧美黑人一区| 精品一区二区三区视频在线播放| 动漫3d精品一区二区三区乱码| 亚洲桃色综合影院| 综合视频在线| 亚洲永久网站| 国内精品免费**视频| jiyouzz国产精品久久| 国产亚洲欧美一级| 亚洲综合久久久久| 色综合久久久久综合体| 日韩小视频在线观看专区| 日韩美女av在线| 色婷婷综合成人| 久久久久亚洲精品国产| 在线亚洲精品自拍| 美女福利网站视频在线观看| 91.·福利| 欧洲毛片在线| 少女频道在线观看免费播放电视剧| 345成人影院| 日韩精品一区二区三区中文字幕| 免费看日本一区二区| 欧美日一区二区三区在线观看国产免| 视频在线观看一区| 成人蜜臀av电影| 综合欧美一区二区三区| 欧美性猛交xxxx| 91精品国产综合久久福利| 亚洲美女在线观看| 欧美黑人xxxⅹ高潮交| 亚州欧美精品suv| 毛片毛片毛片| 中文字幕在线资源| 成人在线直播| 国产精品原创视频| 美女毛片一区二区三区四区最新中文字幕亚洲 | 国产亚洲成av人在线观看导航| 亚洲色图欧洲色图| 欧美色倩网站大全免费| 日韩激情av在线免费观看| 欧美精品在线网站| 国产欧美在线观看视频| 韩国97影院| 黄色网页在线免费观看| 成人看片网页| 蜜桃一区二区| 久久av一区二区三区| 成人福利视频网站| 亚洲午夜精品一区二区三区他趣| 777午夜精品免费视频| 中文字幕亚洲欧美日韩2019| 狠狠综合久久久综合| eeuss影院95999部| www.91在线| www.久久.com| 红桃成人av在线播放| 国产亚洲欧洲| 91亚洲精品久久久蜜桃| 午夜精品久久久久影视| 欧美不卡一区二区三区四区| 欧美裸体xxxx极品少妇| seba5欧美综合另类| 国产无遮挡在线视频免费观看| 成人video亚洲精品| 成人免费观看49www在线观看| 天天做天天爱综合| 狠狠久久亚洲欧美| 亚洲精品国产高清久久伦理二区| 欧美一区二区三区免费大片 | 日韩中文字幕一区二区三区| 91免费看片在线观看| 亚洲高清三级视频| 日韩高清免费在线| 一区二区视频在线观看免费的 | 香蕉97视频观看在线观看| a在线视频v视频| 欧美三级电影在线| 久久激情中文| 欧美国产精品久久| 777奇米成人网| 欧美高清在线播放| 蜜桃av导航| 影音先锋在线视频| 成人午夜大片| 久久先锋资源| 亚洲欧美日韩在线播放| 亚洲国产精彩中文乱码av| 911国产网站尤物在线观看| 天堂在线亚洲| 色黄网站在线观看| 少妇精品久久久| 精品一区二区三区在线播放视频| 亚洲精品少妇30p| 亚洲国产中文字幕在线观看| 男人插曲女人的视频| 日本一二区视频| 麻豆mv在线看| 99视频精品全国免费| 国产不卡在线一区| 色婷婷久久久综合中文字幕| 日韩在线精品一区| 你懂的网站在线播放| 免费a在线看| 国产精品自在| 蜜臀av性久久久久蜜臀aⅴ四虎| 一区二区不卡在线视频 午夜欧美不卡在 | 欧美一卡二卡三卡四卡| 欧美一级在线亚洲天堂| 簧片在线观看| 久久人人视频| 国产亚洲一区在线| 亚洲精选视频在线| 亚洲人成免费电影| 免费黄色小视频| av在线免费网站| 国产a久久精品一区二区三区 | 国产人伦精品一区二区| 6080国产精品一区二区| 2012中文字幕在线视频| 神马电影在线观看| 99精品国产一区二区三区2021 | 婷婷综合久久一区二区三区| xxxx性欧美| 综合网插菊花| 欧美成人资源| 亚洲乱亚洲高清| 综合久久一区二区三区| 国产亚洲美女精品久久久| 国内视频自拍在线视频| 国产社区精品视频| 国语自产精品视频在线看8查询8| 国产精品国模大尺度视频| 亚洲欧美日韩中文在线| 娇小的粉嫩xxx极品| 草草视频在线观看| 在线观看视频免费一区二区三区| 亚洲三级小视频| 中文字幕久热精品视频在线| 人人澡人人爽| 黄色精品视频| 性欧美长视频| 午夜久久久影院| 欧美黑人一区二区三区| 中文字幕一二三区在线观看 | 麻豆免费在线| 国内精品久久久久久久影视麻豆| 亚洲欧美日韩人成在线播放| www.xxxx欧美| 91九色porny在线| 涩涩屋成人免费视频软件| 国产一区二区三区日韩| 91麻豆精品国产91久久久久久 | 国产一二三视频| 一区在线不卡| 国产美女主播视频一区| 欧美一区二区三区免费观看视频 | 欧美亚洲天堂| 欧美fxxxxxx另类| 亚洲日本va在线观看| 美女999久久久精品视频| 亚洲1024| 亚洲bt欧美bt精品777| 久久色在线视频| 伊人精品在线观看| 日本福利视频| 国产精品自在| 久久久久国产精品免费免费搜索 | 黄色一级大片在线免费看产| 久久国产亚洲| 亚洲欧美欧美一区二区三区| 色综合视频网站| 免费a在线观看| 成人久久一区| 1024精品合集| 国内成人精品一区| 91在线免费看| 好看的亚洲午夜视频在线| 精品国产鲁一鲁一区二区张丽| 最新中文乱码字字幕在线| 欧美女同一区| 国产精品毛片| 欧美性色黄大片| 在线看污网站| 日本黄色成人| 国产a级毛片一区| 亚洲精品有码在线| 浪潮av在线| 欧美三级午夜理伦三级小说| 国产色产综合产在线视频 | 成人bbav| 日本强好片久久久久久aaa| 欧美一级生活片| av在线你懂的| 91九色鹿精品国产综合久久香蕉| 97精品久久久久中文字幕| 日韩在线免费高清视频| 久草福利在线| 午夜精品免费| 欧美性jizz18性欧美| 国产精品日日爱| 欧美黄色网络| 不卡高清视频专区| 最近的2019中文字幕免费一页| 免费一级在线观看| 欧美影视一区| 日本电影亚洲天堂一区| 在线视频影院| 麻豆国产一区| 国产欧美日韩另类视频免费观看| 欧美俄罗斯乱妇| 在线观看中文| 日韩中文字幕一区二区三区| 精品国产污网站| 蜜桃视频中文字幕| 日韩欧美一区二区三区在线视频 | 免费羞羞视频| 伊人久久大香线蕉av不卡| 依依成人精品视频| 欧美老**bbbb毛片| 激情久久一区二区| 97国产精品videossex| 久久6免费高清热精品| 50度灰在线| 男女视频一区二区| 亚洲男女自偷自拍图片另类| 色视频精品视频在线观看| 国产精品啊v在线| 91精品欧美福利在线观看| a√免费观看在线网址www| 精品99在线| 一本久道久久综合中文字幕| www视频网站| 伊甸园亚洲一区| 欧美日韩在线视频一区| 五福影院新址进入www1378| 97一区二区国产好的精华液| 中文字幕字幕中文在线中不卡视频| 新婚的少妇hd中文字幕| 992tv国产精品成人影院| 久久先锋资源网| 欧美一级片免费在线| 欧美一区 二区 三区| 2021久久国产精品不只是精品| 久久乐国产精品| 九色porny丨国产首页在线| 粉嫩aⅴ一区二区三区四区| 欧美成人国产va精品日本一级| 黄色美女视频在线观看| 国产成人亚洲综合a∨婷婷| 日韩视频免费看| 草草影院在线| 不卡av电影在线播放| 国语自产精品视频在免费| 日本欧美日韩| 久久精品网站免费观看| 777片理伦片在线观看| 中文字幕综合| 亚洲欧美日韩国产综合在线| 99久久国产视频| 色综合久久中文| 色一情一乱一乱一91av| 涩涩漫画在线观看| 中文字幕一区二区三区乱码图片| 91精品国产免费| 色视频在线观看福利| 视频在线观看一区| 色哟哟入口国产精品| 123区在线| 久久先锋资源网| 亚洲国产成人综合| 国产精品极品国产中出| 福利视频第一区| 成年人福利视频| 黄色成人在线网址| 国产视频久久久| 伊人在我在线看导航| av亚洲产国偷v产偷v自拍| 影音先锋在线中文字幕| 亚洲精品一二三**| 欧美日韩久久久久| 毛片视频免费| 99视频+国产日韩欧美| 国产一区二区三区精品久久久 | 亚洲最大在线视频| 国产美女福利在线观看| 2024国产精品| 国内精品久久久久久不卡影院| 日韩精品福利一区二区三区| 色婷婷综合久久久中文一区二区| 22288色视频在线观看| 另类av一区二区| 久久精品欧美视频| 成人va天堂| 一区二区三区精品视频| 色婷婷亚洲十月十月色天| 伊人久久大香线蕉综合热线| 国产一区二区av| 免费电影日韩网站| 一区二区三区四区国产精品| 成人18免费入口| 99精品福利视频| 久久伊人精品视频| 日本成人在线网站| 一本色道久久综合亚洲精品按摩| 在线麻豆国产传媒1国产免费| 男女男精品网站| 97在线视频精品| 国产精品一区二区三区美女| 欧美日韩久久久久久| av资源网在线观看| 26uuu国产一区二区三区| 成人欧美视频在线观看播放| 小处雏高清一区二区三区| 亚洲精品自在久久| 中文字幕色婷婷在线视频| 一区二区三区免费| 麻豆免费网站| 美国av一区二区| 欧美一级片久久久久久久| 人人精品视频| 精品裸体舞一区二区三区| 欧美巨大xxxx做受沙滩| 成人免费小视频| 国产国产人免费人成免费视频| 日本麻豆一区二区三区视频| 亚洲综合在线不卡| 精品视频免费在线观看| 亚洲国产高清高潮精品美女| 乡村艳史在线观看| 亚洲最快最全在线视频| 在线免费观看色| 国产高清精品网站| 91午夜视频| 极品裸体白嫩激情啪啪国产精品| 麻豆乱码国产一区二区三区| 国产一区二区三区视频在线| 欧美挠脚心视频网站| 欧美videos另类精品| 尤物视频一区二区| 在线观看h网址| caoporn国产精品| 女人天堂网站| 香蕉av777xxx色综合一区| 97成人精品视频在线观看| av一区二区高清| 国产一区二区三区网站| 精品一区二区三区中文字幕在线 | 亚洲欧洲二区| 欧美精品乱码久久久久久| 黄色大片在线| 亚洲电影一区二区| 番号集在线观看| 中文字幕精品综合| 88av在线| 成人免费看视频| chinesespank调教| 老司机免费视频一区二区三区| 亚洲欧美久久婷婷爱综合一区天堂| 国产精品99久久久久久动医院| 久久精品成人动漫| 色婷婷精品视频| 国产一区二区三区高清在线观看| 精品国产一级| 亚洲精品一区在线观看| 91另类视频| 51精品视频一区二区三区| av在线视屏| 在线观看亚洲一区| 久久香蕉av| 欧美性感美女h网站在线观看免费| 久操视频在线免费播放| 一区二区三区四区不卡在线 | 亚洲成av人片一区二区梦乃|