Validation, verification, and test of knowledge-based systems / 
edited by Marc Ayel and Jean-Pierre Laurent. 
 - Chichester ;  New York :  Wiley,  c1991. 
 - xx, 219 p. :  ill. ;  25 cm. 
 - Wiley professional computing .
<br/><br/> "Contributions presented at the first European Workshop on Vallidation, Verification, and Test of Knowledge-based System[s], which was organized during the ECAI 90 Conference in Stockholm"--Foreword. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0471930180 :  $48.30 
<br/><br/><label>Source: </label>B-15547 
<br/><br/><label>LCCN: </label>91022277  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert systems (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.76.E95  / .V35 1991 
<br/><br/><label>Dewey Class. No.: </label>006.3/3