J LOGIC COMPUT是JOURNAL OF LOGIC AND COMPUTATION期刊的缩写。J LOGIC COMPUT期刊的出版地是ENGLAND,主要的研究方向是工程技术-计算机:理论方法。

逻辑几乎在信息技术的所有方面都得到了应用,从软件工程和硬件到编程和人工智能。事实上,逻辑、人工智能和理论计算相互影响,一个新的跨学科的逻辑和计算领域正在出现。《逻辑与计算》杂志旨在促进逻辑与计算的发展,其中包括以下几个领域的兴趣:逻辑系统,如古典与非古典逻辑、建构逻辑、范畴逻辑、模态逻辑、类型理论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题,如非单调推理和知识信念系统;编程的逻辑和语义;程序和系统的说明和验证;逻辑在硬件和超大规模集成电路、自然语言、并行计算、规划和数据库中的应用。大部分内容是技术科学论文,不过也包括信件、评论、讨论以及相关的会议评论。
该刊的年访问量是80篇,发行周期是Bimonthly,从官网http://logcom.oxfordjournals.org/上查到本刊的通讯地址是OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP,投稿地址是http://logcom.oxfordjournals.org/feedback。网友对该刊的审稿速度给与的评价是较慢,6-12周,录用比一般是容易。
* 请认真填写需求信息,我们会在24小时内与您取得联系。