TY  - BOOK
AU  - Uma G.Gupta
TI  - Validating and verifying knowledge-based systems / 
SN  - 0818659955
U1  - 001.535 UMA  
PY  - 1991///.
CY  - California : 
PB  - IEEE Computer Society Press, 
KW  - Expert systems (Computer science) -- Validation.
KW  - Expert systems (Computer science) -- Verification.
ER  -