Chichester ; | New York : Wiley, 1991 . xx, 219 p. : , "Contributions presented at the first European Workshop on Vallidation, Verification, and Test of Knowledge-based System[s], which was organized during the ECAI 90 Conference in Stockholm"--Foreword. 25 cm.. 0471930180 :

Place Hold on Validation, verification, and test of knowledge-based systems /