001.535  / L942a <br/>
<br/>
       AUTOMATED THEOREM PROVING 
 / A LOGICAL BASIS 
 .- Amsterdam: North Holland Publishing Co.,  1978 
 .- 405 . 
.- ( Fundamental Studies In Computer Science V.6     
<br/><u>Subject Headings:</u> <br/>Automatic Theorm Proving;
<br><U>Copy Details:</u><br> Acc. No.: <b>A57190</b>, Full Call No.: 001.535 L942a,   Item type:  Written-off , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>