TY  - BOOK
AU  - Gupta,Uma G.
TI  - Validating and verifying knowledge-based systems
SN  - 0818689951 :
U1  - 006.33 
PY  - 1991///
CY  - Los Alamitas, Calif.
PB  - IEEE Computer Society Press
KW  - Expert systems (Computer science)
KW  - Validation
KW  - Verification
N1  - 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
ER  -