TY - GEN AU - BLEDSOE,W.W. AU - LOVELAND, D. W. TI - AUTOMATED THEOREM PROVING U1 - 511.3 PY - 1984/// CY - Providence, Rhode Island PB - American Mathematical Society KW - Automatic Theorem Proving -- Cong N1 - Proceedings Of The Special Session On Automatic Theorem Proving, 89th Annual Meeting Of The American Mathematical Society, Held In Denver, Colorado, Jan. 5-9, 1983 ER -