BOUND VOLUME <br/><br/>
JOURNAL OF AUTOMATED REASONING, VOL.5,1989 

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