Validating and verifying knowledge-based systems / 
[compiled by] Uma G. Gupta 
 - Los Alamitas, Calif. :  IEEE Computer Society Press,  c1991 
 - ix, 409 p. :  ill. ;  29 cm. 
<br/><br/> Title on added t.p.: Validation and verification of knowledge-based systems  "IEEE Computer Society Press order number 1995"--T.p. verso  "IEEE catalog number EH0320-2"--T.p. verso 
<br/><br/><label>ISBN: </label>0818689951 :  USD 96.00 0818659955 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Expert systems (Computer science)--Validation<br/>Expert systems (Computer science)--Verification
<br/><br/><label>Dewey Class. No.: </label>006.33