逻辑与计算杂志

SCIE

期刊简介

逻辑几乎应用于信息技术的所有方面，从软件工程和硬件到编程和人工智能。事实上，逻辑、人工智能和理论计算相互影响，以至于一个新的跨学科领域“逻辑与计算”正在兴起。

《逻辑与计算杂志》旨在促进逻辑和计算的发展，其中包括以下感兴趣的领域：逻辑系统，例如经典和非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、知识型系统和自动推理中的逻辑问题；知识表示中的逻辑问题，例如非单调推理和知识与信念系统；编程的逻辑和语义；程序和系统的规范和验证；逻辑在硬件和 VLSI、自然语言、并发计算、规划和数据库中的应用。大部分内容是技术科学论文，但也包括信件、评论和讨论以及相关的会议评论。

逻辑与计算杂志创刊于1990年，由Oxford University Press出版社出版。其研究的主题领域包括但不限于工程技术-计算机：理论方法，是一本在数学领域具有重要影响力的国际期刊。该期刊涵盖了数学的多个子领域，旨在全面理解和解决数学问题。

根据最新的数据，逻辑与计算杂志的影响因子为0.7，CiteScore为1.9，h-index为49，SJR为0.472，SNIP为1.062，中科院分区为4区，这些指标均显示了该期刊在数学领域的优秀地位。

该刊以English作为出版语言。对于English非母语的作者，期刊建议使用语言编辑服务，以确保文稿的语法和拼写错误得到纠正，并符合科学English的标准。如果想实现快速顺利的投稿发表，建议您联系本站的客服团队，将为您提供专业的选刊建议，并在整个投稿过程中提供细致的指导。