TY - BOOK AU - Smith, Suzanne AU - Kandel,Abraham TI - Verification and validation of rule-based expert systems SN - 084938902x AV - QA76.76E95 S556 PY - 1993/// CY - Boca Raton, Florida PB - CRC Press KW - Sistemas expertos (Computación) KW - Software para computadora KW - Verificación KW - Validación ER -