001.535  / W91a <br/>
Wos, Larry <br/>
       Automated reasoning : 33 basic research problems 
 / Larry Wos 
 .- Englewood Cliffs: Prentice Hall,  1988 
 .- xiii, 319p . 
<br/>Companion Vol. To: Automated Reasoning: Introduction And Applications 
<br><u>ISBN:</u> 013034552x 
<br/><u>Subject Headings:</u> <br/>Automatic Theorem Proving;<br/>Artificial Intelligence;<br/>Automated Reasoning;
<br><U>Copy Details:</u><br> Acc. No.: <b>A106978</b>, Full Call No.: 001.535 W91a,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>