SCI核心期刊查詢網(wǎng)提供SCI、AHCI、SSCI、國(guó)內(nèi)核刊等期刊目錄查詢選刊服務(wù),助力上萬(wàn)名科研人員成功評(píng)職晉升!

大類學(xué)科: 不限 醫(yī)學(xué) 生物 物理 化學(xué) 農(nóng)林科學(xué) 數(shù)學(xué) 地學(xué)天文 地學(xué) 環(huán)境科學(xué)與生態(tài)學(xué) 綜合性期刊 管理科學(xué) 社會(huì)科學(xué) 查看全部熱門領(lǐng)域

中科院分區(qū): 不限 1區(qū) 2區(qū) 3區(qū) 4區(qū)

期刊收錄: 不限 SCI SCIE

Journal Of Logical And Algebraic Methods In Programming

Journal Of Logical And Algebraic Methods In Programming封面

簡(jiǎn)稱:J LOG ALGEBR METHODS

ISSN:2352-2208

ESSN:2352-2208

研究方向:COMPUTER SCIENCE, THEORY & METHODS - LOGIC

所屬分區(qū):4區(qū)

出版地:UNITED STATES

出版周期:6 issues/year

創(chuàng)刊時(shí)間:2014

Journal Of Logical And Algebraic Methods In Programming英文簡(jiǎn)介

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中文簡(jiǎn)介

《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的專業(yè)工程技術(shù)期刊,該刊創(chuàng)刊于2014年,刊期6 issues/year,該刊已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCI、SCIE收錄。在中科院最新升級(jí)版分區(qū)表中,該刊分區(qū)信息為大類學(xué)科:計(jì)算機(jī)科學(xué) 3區(qū),小類學(xué)科:邏輯學(xué) 2區(qū);計(jì)算機(jī):理論方法 3區(qū);在JCR(Journal Citation Reports)分區(qū)等級(jí)為Q1。該刊發(fā)文范圍涵蓋計(jì)算機(jī):理論方法等領(lǐng)域,旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外計(jì)算機(jī):理論方法工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動(dòng)態(tài)、技術(shù)革新等,促進(jìn)學(xué)術(shù)交流,鼓勵(lì)學(xué)術(shù)創(chuàng)新。2021年影響因子為1.088,

中科院分區(qū)最新升級(jí)版(當(dāng)前數(shù)據(jù)版本: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ū)

中科院分區(qū)最新基礎(chǔ)版(當(dāng)前數(shù)據(jù)版本:2021年12月最新基礎(chǔ)版)

大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 3區(qū)

中科院JCR分區(qū)歷年趨勢(shì)圖

JCR分區(qū)(當(dāng)前數(shù)據(jù)版本:2021-2022年最新版)

JCR分區(qū)等級(jí) JCR所屬學(xué)科 分區(qū) 影響因子
Q1 LOGIC Q1 1.088
COMPUTER SCIENCE, THEORY & METHODS Q3

期刊指數(shù)

影響因子 h-index Gold OA文章占比 研究類文章占比 OA開放訪問 平均審稿速度
1.088 9 10.24% 100.00% 未開放 --

IF值(影響因子)趨勢(shì)圖