00955oam 2200265z- 450 99646626820331619960628085117.9(CKB)1000000000234129(EXLCZ)99100000000023412920200616c1994uuuu -u- -engAutomated deduction, CADE-12 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /Alan Bundy, edSpringer Berlin Heidelberg3-540-58156-1 Automated Deduction — CADE-12Automatic theorem provingCongressesLogic, Symbolic and mathematicalCongressesAutomatic theorem provingCongresses.Logic, Symbolic and mathematicalCongresses.006.3/3Bundy Alan45435BOOK996466268203316Automated Deduction — CADE-122831746UNISA