01266nam 2200373 450 9900007208602033163-540-52885-70072086USA010072086(ALEPH)000072086USA01007208620011107d1990----km-y0itay0103----baengDE||||||||001yy10. International conference on automated deductionKaiserslautern, FRG, july 24-27, 1990proceedingsM.E. StickelBerlinSpringer-Verlagc1990XVI, 688 pill.24 cmLectures notes in artificial intelligence4492001Lectures notes in artificial intelligence449Logica simbolicaCongressi1990511.3STICKEL,M.E.International conference on automated deduction <10. ; 1990 ; Kaiserslautern>549451ITsalbcISBD990000720860203316511.3 INT11332 ING511.3BKTECPATTY9020011107USA01101720020403USA011720PATRY9020040406USA01165010. International conference on automated deduction962667UNISA