J AUTOM REASONING期刊全称叫什么

J AUTOM REASONING是JOURNAL OF AUTOMATED REASONING期刊的缩写。J AUTOM REASONING期刊的出版地是NETHERLANDS，主要的研究方向是工程技术-计算机：人工智能。

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

该刊的年访问量是25篇，发行周期是Bimonthly，从官网http://www.springer.com/computer/theoretical+computer+science/journal/10817上查到本刊的通讯地址是SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ，投稿地址是https://submission.nature.com/new-submission/10817/3。网友对该刊的审稿速度给与的评价是>12周，或约稿，录用比一般是容易。