相关费用：选择性费用 ︾Publication fee
The current APC for Journal of Automated Reasoning is £2290.00 GBP / $3190.00 USD / €2590.00 EUR.
This fee is subject to VAT or local taxes where applicable.
Authors can also choose to publish under the subscription publishing model (no APC charges apply); both options will be offered after the paper has been accepted.
出版地址：SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
期刊简介：Journal of Automated Reasoning《自动推理杂志》（季刊）. The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof.
