安心交易
不成功退款，无后顾之忧，风险服务升级。
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning.The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.
《自动推理跨学科杂志》平衡了理论、实现和应用。覆盖范围从提出一个新的推理规则及其逻辑特性的证明，到详细的计算机程序设计，以解决工业中的各种问题。主题包括自动定理证明、逻辑编程、专家系统、程序合成和验证、人工智能、计算逻辑、机器人和各种工业应用。内容集中在自动推理的几个方面，这个领域的目标是设计和实现一个计算机程序，作为解决问题和回答需要推理的问题的助手。《自动推理杂志》为那些纯粹对理论感兴趣的人、那些主要对实施感兴趣的人以及那些对具体研究和工业应用感兴趣的人提供了一个论坛和一种交换信息的方法。
安心交易
不成功退款，无后顾之忧，风险服务升级。
合规备案认证机构
资质许可齐全，合规经营，用户权益有保障。
正刊保障
刊物在国家新闻出版署网可查，抵制假刊、增刊。
对公账户资金监管
交易均通过对公账户，资金安全有保障。01 选择服务并上传稿件 我们的学术顾问将根据您的需求推荐适合的服务
02 分配资深编辑和同行专家 根据您的服务方案和研究方向，为您分配资深编辑和同行专家
03 交付及反馈 每个环节的服务会在您审阅和确认后进行下一步，根据您的反馈和建议做调整
04 提升稿件质量 我们将基于您的反馈并平衡期刊的投稿要求，为您进一步优化稿件
05 提交投稿 出版专家将在您确认定稿后，为您整理并检查所有必须文件，协助您完成期刊投稿。
06 投稿跟进 及时查询稿件状态，协助您与期刊编辑沟通，根据审稿意见协助修正文章
07 拒稿支持 若期刊拒稿，您可通过拒稿咨询服务发掘稿件的改进方案，并获取365天无限次向同期刊或其他期刊的重投服务
