00828cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811100990011324501660021224600120037826000300039030000110042044000920043165000490052365000420057270000200061420260817170903.0080624s1992    gw      r     100|0 eng |  a3540556028  a.b1010269300aQA76.9 A96bI57 19922 aInternational Conference on Automated Deductionn(11th :d1992 :cSaratoga Springs, N.Y., USA)10aAutomated deduction-CADE-11 :b11th International Conference on Automated Deduction, Saratoga Springs, N.Y., USA, June 15-18, 1992 : proceedings /cD. Kapur, ed.30aCADE-11  aBerlin :bSpringer,c1992  a793 p. 0aLecture notes in computer science.pLecture notes in artificial intelligence ;vno. 607 0aLogic, Symbolic and mathematicalvCongresses 0aAutomatic theorem provingvCongresses1 aKapur, D.,eed.