SMETS.P. ETC. <br/><br/>
NON STANDARD LOGICS FOR AUTOMATED REASONING 

 - LONDON  ACADEMIC  1988 
 - 24X16 
<br/><br/><label>ISBN: </label>0126495203 
<br/><br/><label>Dewey Class. No.: </label>511.3 S637