Title: Verification and validation of KBS with neural network components
First published: 1996
Subjects: Knowledge based systems, Neural nets, Data bases, Networks, Proving, Databases