00958oam 2200265z- 450 99646575660331620080308084208.0(CKB)1000000000233834(EXLCZ)99100000000023383420210330c1992uuuu -u- -engAutomated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /D. Kapur, edSpringer Berlin Heidelberg3-540-55602-8 Automated Deduction—CADE-11Automatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesAutomatic theorem provingCongresses.Logic, Symbolic and mathematicalCongresses.511.3Kapur Deepak1220896BOOK996465756603316Automated deduction, CADE-112860687UNISA