00804cam a2200193   450000500170000000800410001702000150005803500150007305000250008811100850011324501600019824600120035826000300037030000110040044000920041165000490050365000420055270000160059420260817170903.0080624s1986    gw      r     100|0 eng |  a3540581561  a.b1010268100aQA76.9 A96bI57 19942 aInternational Conference on Automated Deductionn(12th :d1994 :cNancy, France)10aAutomated deduction-CADE-12 :b12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings /cAlan Bundy, ed.30aCADE-12  aBerlin :bSpringer,c1994  a848 p. 0aLecture notes in computer science.pLecture notes in artificial intelligence ;vno. 814 0aLogic, Symbolic and mathematicalvCongresses 0aAutomatic theorem provingvCongresses1 aBundy, Alan