《自动推理跨学科杂志》平衡了理论、实现和应用。覆盖范围从提出一个新的推理规则及其逻辑特性的证明，到详细的计算机程序设计，以解决工业中的各种问题。主题包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人和各种工业应用。内容集中在自动推理的几个方面，这个领域的目标是设计和实现一个计算机程序，作为解决问题和回答需要推理的问题的助手。《自动推理杂志》为那些纯粹对理论感兴趣的人、那些主要对实施感兴趣的人以及那些对具体研究和工业应用感兴趣的人提供了一个论坛和一种交换信息的方法。
* 请认真填写需求信息，我们会在24小时内与您取得联系。
