Validating and verifying knowledge-based systems - Gupta, Uma G. (Los Alamitas, Calif. : IEEE Computer Society Press, 1991)
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
Keywords: Expert systems (Computer science) -- Validation; Expert systems (Computer science) -- Verification