Kaufmann, Matt <br/><br/>
Computer-aided reasoning : an approach 
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore 
 - Deventer, The Netherlands ; Boston, MA  Kluwer Academic Publishers  c2000 
 - xv, 270 p. ; 25 cm 
<br/><br/> Includes bibliographical references (p. [257]-259) and index 
<br/><br/><label>ISBN: </label>9780792377443 
<br/><br/><label>ISSN: </label>38636 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert systems (Computer science)<br/>Formal methods (Computer science)<br/>Sotware engineering
<br/><br/><label>Dewey Class. No.: </label>004.0151 KAU