TY - BOOK AU - Abraham Kandel; Suzanne Smith TI - Verification and Validation of Rule-Based Expert Systems SN - 9781315214238 PB - Taylor and Francis UR - http://www.taylorfrancis.com/books/9781315214238 ER -