00803cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811100910011324501320020424600240033626000300036030000110039044000920040165000490049365000420054270000250058420260817161148.0080624s1990    gw      r     100|0 eng |  a3540528857  a.b1002102400aQA76.9 A96bI57 19902 aInternational Conference on Automated Deductionn(10th :d1990 :cKaiserslautern, FRG)10a10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings /cM. E. Stickel, ed.30aAutomated deduction  aBerlin :bSpringer,c1990  a688 p. 0aLecture notes in computer science.pLecture notes in artificial intelligence ;vno. 449 0aLogic, Symbolic and mathematicalvCongresses 0aAutomatic theorem provingvCongresses1 aStickel, M. E.,eed.