投稿咨詢
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
《Journal Of Logic And Computation》是一本由OXFORD UNIV PRESS出版商出版的專業工程技術期刊，該刊創刊于1990年，刊期Bimonthly，該刊已被國際權威數據庫SCIE收錄。在中科院最新升級版分區表中，該刊分區信息為大類學科：計算機科學 4區，小類學科：計算機：理論方法 4區；邏輯學 4區；在JCR（Journal Citation Reports）分區等級為Q4。該刊發文范圍涵蓋計算機：理論方法等領域，旨在及時、準確、全面地報道國內外計算機：理論方法工作者在該領域取得的最新研究成果、工作進展及學術動態、技術革新等，促進學術交流，鼓勵學術創新。2021年影響因子為0.509，平均審稿速度較慢,6-12周。
| 大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
| 計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學 | 4區 4區 | 否 | 否 |
| JCR分區等級 | JCR所屬學科 | 分區 | 影響因子 |
| Q4 | LOGIC | Q4 | 0.509 |
| COMPUTER SCIENCE, THEORY & METHODS | Q4 |
| 影響因子 | h-index | Gold OA文章占比 | 研究類文章占比 | OA開放訪問 | 平均審稿速度 |
| 0.509 | 49 | 7.62% | 100.00% | 未開放 | 較慢,6-12周 |
課題、SCI/EI/SSCI怎么寫？