SMETS,PHILIPPE (ED) <br/><br/>
NON STANDARD LOGICS FOR AUTOMATED REASONING 

 - 1 
 - LONDON  AP  1988 
 -  334 
<br/><br/> BR-242 
<br/><br/><label>ISBN: </label>KBCS  571.29 
<br/><br/><label>Dewey Class. No.: </label>1135