JOURNAL OF LOGIC AND COMPUTATION

JOURNAL OF LOGIC AND COMPUTATION

SCIE
  • 期刊ISSN:0955-792X
  • 研究方向:工程技术
  • 影响因子:0.509
  • SCI类别:SCIE
  • 是否OA:No
  • 出版地:ENGLAND
  • 年文章数:91
  • 涉及的研究方向:工程技术-计算机:理论方法
http://logcom.oxfordjournals.org/feedback
JOURNAL OF LOGIC AND COMPUTATION简介 Magazine introduction
  • 英文简介

    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.

  • 中文简介

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

  • 中科院分区

    大类学科 分区 小类学科 分区 Top期刊 综述期刊
    计算机科学 4区 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 LOGIC 逻辑学 4区 4区
  • JCR分区

    JCR分区等级 JCR所属学科 分区 影响因子
    Q4 LOGIC Q4 0.509
    COMPUTER SCIENCE, THEORY & METHODS Q4
  • 影响因子趋势图

    JCR分区趋势图

相似期刊推荐 Recommendation for similar journals
期刊服务明细 SERVICE DETAILS

稿件预审

快速预审、投刊前指导、专业学术评审,对文章进行评价 立即咨询

润色编辑

校对编辑、深度润色,让稿件符合学术规范,格式体例等标准 立即咨询

学术翻译

适用于语句和结构尚需完善和调整的中文文章,确保稿件达到要求 立即咨询

文章查重

数据库包括:期刊、文章、书籍、会议、预印书、百科全书和摘要等 立即咨询

期刊推荐

让作者在期刊选择时避免走弯路,缩短稿件被接收的周期 立即咨询

稿件格式修正

根据目标期刊格式要求对作者文章进行全面的格式修正和调整 立即咨询

协助提交稿件

协助作者将稿件提交至目标期刊投稿系统,降低退稿或拒稿率 立即咨询

投稿附言指导

按照您提供的稿件内容,指导完成投稿附信(cover letter) 立即咨询
权益保障 protection of rights and interests

安心交易

不成功退款,无后顾之忧,风险服务升级。

合规备案认证机构

资质许可齐全,合规经营,用户权益有保障。

正刊保障

刊物在国家新闻出版署网可查,抵制假刊、增刊。

对公账户资金监管

交易均通过对公账户,资金安全有保障。
全部服务项目 SERVICE ITEMS

812751拥有老客户

918539评职称指导

63352国际出版服务

819867开具合同

SCI期刊网国内外期刊论文咨询指导

工作时间:每日8:00 - 24:00