《逻辑与计算》杂志旨在促进逻辑与计算的发展，其中包括以下感兴趣的领域：逻辑系统，如经典与非经典逻辑、构造逻辑、范畴逻辑、模态逻辑、类型理论、可行数学、逻辑程序设计、基于知识的系统和自动推理中的逻辑问题；知识表示中的逻辑问题，如非单调推理和知识信念系统；程序设计的逻辑和语义；程序和系统的规范和验证；逻辑在硬件和VLSI中的应用，自然语言、并行计算、计划和数据库。大部分内容是技术科学论文，尽管其中包括信件、评论和讨论以及相关的会议评论。官网链接：https://academic.oup.com/logcom
精品内容
没有数据了, 换个别的吧!
微信扫码咨询专知VIP会员