JOURNAL OF LOGIC AND COMPUTATION

期刊信息导读

1. JOURNAL OF LOGIC AND COMPUTATION基本信息
• 2018-2019最新影响因子
• 2022年6月28日更新影响因子
• 研究方向
• 官方网站
• 投稿网址
• 年文章数
2. JOURNAL OF LOGIC AND COMPUTATION中科院SCI期刊分区
3. 历年JOURNAL OF LOGIC AND COMPUTATION影响因子趋势图
4. JOURNAL OF LOGIC AND COMPUTATION期刊英文简介
5. JOURNAL OF LOGIC AND COMPUTATION期刊中文简介

JOURNAL OF LOGIC AND COMPUTATION基本信息

简称：J LOGIC COMPUT

中文名称：逻辑与计算杂志

研究方向：工程技术

2018-2019最新影响因子：0.509

2022年6月28日更新影响因子：0.509

SCI类别：SCIE

是否OA开放访问：No

出版地：ENGLAND

出版周期：Bimonthly

年文章数：91

涉及的研究方向：工程技术-计算机：理论方法

通讯方式：OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP

官方网站：http://logcom.oxfordjournals.org/

投稿网址：http://logcom.oxfordjournals.org/feedback

审稿速度：较慢,6-12周

平均录用比例:容易

PMC链接：http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0955-792X%5BISSN%5D

JOURNAL OF LOGIC AND COMPUTATION期刊英文简介

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期刊中文简介

逻辑几乎在信息技术的所有方面都得到了应用，从软件工程和硬件到编程和人工智能。事实上，逻辑、人工智能和理论计算相互影响，一个新的跨学科的逻辑和计算领域正在出现。《逻辑与计算》杂志旨在促进逻辑与计算的发展，其中包括以下几个领域的兴趣:逻辑系统，如古典与非古典逻辑、建构逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题，如非单调推理和知识信念系统;编程的逻辑和语义;程序和系统的说明和验证;逻辑在硬件和超大规模集成电路、自然语言、并行计算、规划和数据库中的应用。大部分内容是技术科学论文，不过也包括信件、评论、讨论以及相关的会议评论。

中科院SCI期刊分区：

JOURNAL OF LOGIC AND COMPUTATION影响因子

获取相关优质资源获取2023中科院分区