TY - BOOK AU - 32 TI - VERIFYING AND VALIDATING PERSONAL COMPUTER-BASED EXPERT SYSTEMS SN - 9780139574573 ER -