TY  - BOOK
AU  - Ayel, Marc,
AU  - Laurent, Jean-pierre
TI  - Validation, verification and test of knowledge-based systems
SN  - 0471-93018-0
AV  - QA76.76.E95 V35
PY  - 1991///
CY  - Chichester
PB  - J. Wiley
KW  - Sistemas expertos (Computación)
ER  -