BOUND VOLUME <br/><br/>
JOURNAL OF AUTOMATED REASONING, VOL.6,1990 

 - DORDRECHT  KA  1990 
<br/><br/> BOUND VOLUME 
<br/><br/><label>ISBN: </label>BOUND VOLUME 
<br/><br/><label>Dewey Class. No.: </label>317