511.3  / Sp31a <br/>
BLEDSOE, W. W.   <br/>
       AUTOMATED THEOREM PROVING 
 / AFTER 25 YEARS 
 .- Providence, Rhode Island: American Mathematical Society,  1984 
 .- ix,360,,,,,. 
.- ( Contemporary Mathematics, V. 29     
<br/>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 
<br/><u>Subject Headings:</u> <br/>Automatic Theorem Proving -- Cong;
<br/><U>Author Added Entry: </u><br/>LOVELAND, D. W.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A93450</b>, Full Call No.: 511.3 Sp31a,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>