01428nam a2200349 i 450099100070850970753620020507172544.0940727s1984 us ||| | eng 082185027Xb1074616x-39ule_instLE01301044ExLDip.to Matematicaeng511.3AMS 03B35AMS 68-XXQA76.9.A96Special session on Automatic theorem proving <1983 ; Denver>534748Automated theorem proving :after 25 years /eds. W. W. Bledsoe, D. W. LovelandProvidence, R. I. :American Mathematical Society,1984ix, 360 p. ;26 cm.Contemporary mathematics,0271-4132 ;29Includes bibliographies."Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"-T.p. versoAutomatic theorem provingCongressesBledsoe, W. W.Loveland, Donald W..b1074616x23-02-1728-06-02991000708509707536LE013 68-XX BLE11 (1984)12013000001951le013-E0.00-l- 01010.i1083842928-06-02Automated theorem proving910584UNISALENTOle01301-01-94ma -engus 01