Handbook of Automated Reasoning とは

Handbook of Automated Reasoning(ISBN 0444508139,2128ページ)は、自動推論の分野に関する調査記事の集まりです。 2001年6月にMIT Pressによって出版され、John Alan RobinsonとAndrei Voronkovによって編集されました。第1巻では、古典論理、等価と他の理論を持つ一次論理、帰納法の方法について説明します。第2巻では、高次、非古典的および他の種類の論理を扱っている。