VEROFF,  R. (ED.) <br/><br/>
AUTOMATED REASONING AND ITS APPLICATIONS 

 -  LONDON : MIT  1997 
 - 247 p. 
<br/><br/><label>ISBN: </label>0000262220555 
<br/><br/><label>Subjects--Topical Terms: </label><br/>REASONING: EXPERT SYSTEMS : ARTIFICIAL INTELLIGENCE
<br/><br/><label>Dewey Class. No.: </label>006.333  / V26