LEADER 00968oam  2200265z- 450 
001 996465556603316
005 20211005005702.0
035   $a(CKB)1000000000234650
035   $a(MiAaPQ)EBC6489881
035   $a(EXLCZ)991000000000234650
100   $a20210330c1997uuuu  -u-            -
101 0 $aeng
200 10$aAutomated deduction, CADE-14 $e14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /$fWilliam McCune, ed
210   $cSpringer Berlin / Heidelberg
311   $a3-540-63104-6 
606   $aAutomatic theorem proving$xCongresses
606   $aLogic, Symbolic and mathematical$xCongresses
615  0$aAutomatic theorem proving$xCongresses.
615  0$aLogic, Symbolic and mathematical$xCongresses.
676   $a006.3/33
701   $aMcCune$b William$0982586
906   $aBOOK
912   $a996465556603316
996   $aAutomated deduction, CADE-14$92860382
997   $aUNISA