TY - BOOK AU - - TI - Validation and Verification of Knowledge Based Systems SN - 0000052553 U1 - 1.539 PY - 1999/// CY - Boston PB - Kluwer KW - Knowledge KW - Practice KW - Systems KW - Theory KW - Tools KW - Validation KW - Verification KW - Based KW - Computer Science Engineering ER -