Validation, verification and test of knowledge-based systems / Ed. by marc ayel and Jean-Pierre laurent - 219 páginas ISBN: 0471-93018-0 Subjects--Topical Terms: Sistemas expertos (Computación) LC Class. No.: QA76.76.E95 / V35