LEADER 00958oam  2200265z- 450 
001 996465756603316
005 20080308084208.0
035   $a(CKB)1000000000233834
035   $a(EXLCZ)991000000000233834
100   $a20210330c1992uuuu  -u-            -
101 0 $aeng
200 10$aAutomated deduction, CADE-11 $e11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /$fD. Kapur, ed
210   $cSpringer Berlin Heidelberg
311   $a3-540-55602-8 
517   $aAutomated Deductionâ??CADE-11
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   $a511.3
701   $aKapur$b Deepak$01220896
906   $aBOOK
912   $a996465756603316
996   $aAutomated deduction, CADE-11$92860687
997   $aUNISA