01118nam 2200349 450 9900004832802033160048328USA010048328(ALEPH)000048328USA01004832820010530d1982----km-y0itay0103----baengDE||||||||001yy6th Conference on automated deductionNew York, USA, june 7-9, 1982edited by D.W. LovelandBerlinSpringer Verlag1982VII, 389 p.24 cmLecture notes in computer science1382001Lecture notes in computer science138519.4LOVELAND,D.W.Conference on automated deduction <6.; 1982; New York>545522ITsalbcISBD990000483280203316001 LNCS 1384170 SM001 LNCS00101505BKSCIPATTY9020010530USA01161220020403USA011657PATRY9020040406USA0116336th Conference on automated deduction888411UNISA