LEADER 00955oam  2200265z- 450 
001 996466268203316
005 19960628085117.9
035   $a(CKB)1000000000234129
035   $a(EXLCZ)991000000000234129
100   $a20200616c1994uuuu  -u-            -
101 0 $aeng
200 10$aAutomated deduction, CADE-12 $e12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /$fAlan Bundy, ed
210   $cSpringer Berlin Heidelberg
311   $a3-540-58156-1 
517   $aAutomated Deduction â?? CADE-12
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/3
701   $aBundy$b Alan$045435
906   $aBOOK
912   $a996466268203316
996   $aAutomated Deduction ? CADE-12$92831746
997   $aUNISA