01167nam a2200325 i 450099100135073970753620020507191856.0960307s1982 de ||| | eng 3540115587b10835416-39ule_instLE01310943ExLDip.to Matematicaeng511.3AMS 68-06AMS 68-XXCR I.1CR J.2Loveland, Donald W.470206th sixth Conference on Automated Deduction :New York, USA, June 7-9, 1982 /edited by D. W. LovelandBerlin :Springer-Verlag,1982vii, 389 p. ;25 cm.Includes bibliographical referencesAutomatic theorem provingCongressesSymbolic and mathematical logicCongresses.b1083541621-09-0628-06-02991001350739707536LE013 68-XX LOV11 (1982)12013000043913le013-E0.00-l- 00000.i1094485028-06-02Sixth Conference on Automated Deduction923988UNISALENTOle01301-01-96ma -engde 41