00970oam 2200265z- 450 991076754830332120211005005702.0(CKB)1000000000234650(MiAaPQ)EBC6489881(EXLCZ)99100000000023465020210330c1997uuuu -u- -engAutomated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /William McCune, edSpringer Berlin / Heidelberg3-540-63104-6 Automatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesAutomatic theorem provingCongresses.Logic, Symbolic and mathematicalCongresses.006.3/33McCune William982586BOOK9910767548303321Automated deduction, CADE-142860382UNINA