《Journal Of Logic And Computation》國際標準刊號?ISSN：0955-792X，電子期刊的國際標準刊號：1465-363X。

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

出版周期：Bimonthly

出版語言：English

國際簡稱：J LOGIC COMPUT

研究方向：工程技術 - 計算機：理論方法

期刊定位與內容：

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

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

邏輯幾乎應用于信息技術的所有方面，從軟件工程和硬件到編程和人工智能。事實上，邏輯、人工智能和理論計算相互影響，以至于一個新的跨學科領域“邏輯與計算”正在興起。

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

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

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

學術影響力：

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

聲明：本信息依據互聯(lián)網公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。