《Journal Of Logic And Computation》國(guó)際標(biāo)準(zhǔn)刊號(hào)?ISSN：0955-792X，電子期刊的國(guó)際標(biāo)準(zhǔn)刊號(hào)：1465-363X。

創(chuàng)刊時(shí)間：1990年

出版周期：Bimonthly

出版語言：English

國(guó)際簡(jiǎn)稱：J LOGIC COMPUT

研究方向：工程技術(shù) - 計(jì)算機(jī)：理論方法

期刊定位與內(nèi)容：

邏輯與計(jì)算雜志(Journal Of Logic And Computation)是一本由Oxford University Press出版的學(xué)術(shù)刊物，主要報(bào)道工程技術(shù)-計(jì)算機(jī)：理論方法相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來源期刊，該刊創(chuàng)刊于1990年，出版周期Bimonthly。

《邏輯與計(jì)算雜志》發(fā)表專家撰寫的簡(jiǎn)短易懂的評(píng)論，重點(diǎn)介紹計(jì)算機(jī)：理論方法的最新關(guān)鍵主題。每篇文章都是對(duì)該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。

邏輯幾乎應(yīng)用于信息技術(shù)的所有方面，從軟件工程和硬件到編程和人工智能。事實(shí)上，邏輯、人工智能和理論計(jì)算相互影響，以至于一個(gè)新的跨學(xué)科領(lǐng)域“邏輯與計(jì)算”正在興起。

《邏輯與計(jì)算雜志》旨在促進(jìn)邏輯和計(jì)算的發(fā)展，其中包括以下感興趣的領(lǐng)域：邏輯系統(tǒng)，例如經(jīng)典和非經(jīng)典邏輯、構(gòu)造邏輯、范疇邏輯、模態(tài)邏輯、類型理論、可行數(shù)學(xué)……邏輯編程、知識(shí)型系統(tǒng)和自動(dòng)推理中的邏輯問題；知識(shí)表示中的邏輯問題，例如非單調(diào)推理和知識(shí)與信念系統(tǒng)；編程的邏輯和語義；程序和系統(tǒng)的規(guī)范和驗(yàn)證；邏輯在硬件和 VLSI、自然語言、并發(fā)計(jì)算、規(guī)劃和數(shù)據(jù)庫中的應(yīng)用。大部分內(nèi)容是技術(shù)科學(xué)論文，但也包括信件、評(píng)論和討論以及相關(guān)的會(huì)議評(píng)論。

出版周期與發(fā)文量：

該雜志出版周期Bimonthly。近年來，該期刊的年發(fā)文量約為89篇。

學(xué)術(shù)影響力：

2021-2022年最新版WOS分區(qū)等級(jí)：Q1，2023年發(fā)布的影響因子為0.7，CiteScore指數(shù)1.9，SJR指數(shù)0.472。本刊非開放獲取期刊。

聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯(cuò)誤，請(qǐng)及時(shí)聯(lián)系我們及時(shí)更正。