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

創刊時間：1990年

出版周期：Bimonthly

出版語言：English

國際簡稱：J LOGIC COMPUT

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

期刊定位與內容：

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

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

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

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

出版周期與發文量：

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

學術影響力：

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

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