00981oam 2200265z- 450 99646529390331619970514150226.9(CKB)1000000000234491(EXLCZ)99100000000023449120210330c1996uuuu -u- -engAutomated deduction, CADE-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /M.A. McRobbie, J.K. Slaney, edsSpringer Berlin Heidelberg3-540-61511-3 Automatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesAutomatic theorem provingCongresses.Logic, Symbolic and mathematicalCongresses.006.3/3McRobbie Michael A1221135Slaney John K1221136BOOK996465293903316Automated Deduction — Cade-132831281UNISA