511.3  / N733 <br/>
Smets, P. <br/>
       NON - STANDARD LOGICS FOR AUTOMATED REASONING 
 / 
 .-  Academic Press,  1988 
<br><u>ISBN:</u> 0 12 649520 3 
<br><U>Copy Details:</u><br> Acc. No.: <b>A106584</b>, Full Call No.: 511.3 N733,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>