自動推論ジャーナル

『Journal of Automated Reasoning』は、1983年にラリー・ウォスによって創刊され、ウォスは1992年まで編集長を務めた。 ^{[ 1 ]}この雑誌は、自動推論、定理の機械的検証、古典論理および非古典論理におけるその他の演繹に関する研究と進歩を扱っている。^{[ 2 ]}

このジャーナルはSpringer Science+Business Mediaから出版されています。2021 年現在、編集長はルートヴィヒ・マクシミリアン大学ミュンヘンの理論計算機科学教授であるJasmin Blanchetteです。このジャーナルの 2019 年のインパクト ファクターは 1.431 で、 Science Citation Index ExpandedやScopusなど、いくつかの科学索引サービスに索引されています。^{[ 3 ]}

• 公式サイト