TY  - BOOK
AU  - Ayel, Marc
AU  - Laurent, Jean-Pierre 
TI  - Validation, verification and test of knowledge-based systems
SN  - 9780471930181
U1  - 006.33 Ay22v 
PY  - 1991///
CY  - Chichester
PB  - John Wiley & Sons
KW  - Expert systems
ER  -