00800cam a2200205 a 450000500170000000800410001703500150005805000250007311100860009824501420018424600110032624600240033726000300036130000110039144000490040250000240045165000490047565000420052470000280056620260817161145.0080624s1986    gw      r     100|0 eng |  a.b1002095000aQA76.9 A96bI57 19862 aInternational Conference on Automated Deductionn(8th :d1986 :cOxford, England)10a8th International Conference on Automated Deduction,bOxford, England, July 27-August 1, 1986 : proceedings /cedited by Jorg H. Siekmann18aCADE-830aAutomated deduction  aBerlin :bSpringer,c1986  a708 p. 0aLecture notes in computer science ;vno. 230  aSpine title: CADE-8 0aLogic, Symbolic and mathematicalvCongresses 0aAutomatic theorem provingvCongresses1 aSiekmann, Jorg H.,eed.