A Survey of Automated Deduction

題名: A Survey of Automated Deduction
著者:Alan Bundy
入手元:http://www.springerlink.com/app/home/contribution.asp?wasp=35da3974be85430c9163fdaeeb944fe0&referrer=parent&backto=issue,6,20;journal,1944,2173;linkingpublicationresults,1:105633,1

概要:
We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.

概要訳:
我々は、計算機の初期の歴史から、現在までの、演繹的推論の自動化に関する研究について調査する。我々は、その研究関心の主要な領域とその応用について特定し、記述します。その領域は、証明方法の幅広い種類、自動演繹の形式、そして応用によって特徴づけられます。