x <br/><br/>
Validation, verification, and test of knowledge-based systems / 
by Marc Ayel and Jean-Pierre Laurent. 
 - Chichester ;  New York :  Wiley,  c1991. 
 - xx, 219 p. :  ill. ;  25 cm. 
 - Wiley professional computing .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0471930180  
<br/><br/><label>Source: </label>B-15546 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert systems (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.76.E95  / V47  1991