LARRY WOS; ROSS OVERBARI; EWING LUSK <br/><br/>
AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS 

 - 2 
 -  MCGRAW HILL BOOK COMPANY  1990 
 - 656 
<br/><br/><label>ISBN: </label>978007911251X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE 
<br/><br/><label>Dewey Class. No.: </label>006.3  N1 (MCA)  / LAR