001.535  / L497 <br/>
       LOGIC PROGRAMMING AND AUTOMATED REASONING 
 / INTERNATIONAL CONFERENCE LPAR '92 
 .-  ,   
 .- 
.- ( Lecture Notes In Artificial Intelligence     
<br><u>ISBN:</u> 354055727X 
<br/><u>Subject Headings:</u> <br/>Artificial Intelligence -- Congresses;
<br/><U>Author Added Entry: </u><br/>Voronkov, A.;<br/>;
<br><U>Copy Details:</u><br> Acc. No.: <b>A114209</b>, Full Call No.: 001.535 L497,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>