01357nam0 22003493i 450 MIL009222420251003044223.00818659955Microfiche0818689951Case20080729d1991 ||||0itac50 baengusz01i xxxe z01nValidating and verifying knowledge-based systemsUma G. GuptaLos AlamitosIEEE computer society pressc1991IX, 409 p.ill.29 cmIEEE computer society press reprint collectionBibliografia: P. 414-422.001MIL00696912001 IEEE computer society press reprint collectionSistema espertoFIRCFIC011823I006.3INTELLIGENZA ARTIFICIALE14006.33Sistemi fondati sulla rappresentazione della conoscenza22Gupta, Uma G.MILV061012ITIT-00000020080729IT-BN0095 NAP 01SALA DING $MIL0092224Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 006.3 VALAVK 0102 0000008655 VMA A4 1 v. (2. rist., 1993)Y 1994041319940413 01Validating and verifying knowledge-based systems1572068UNISANNIO