01595oam 2200433Ka 450 991069899550332120090610110111.0(CKB)5470000002397916(OCoLC)383688224(EXLCZ)99547000000239791620090610d1989 ua 0engtxtrdacontentcrdamediacrrdacarrierEvidence flow graph methods for validation and verification of expert systems[electronic resource] /Lee A. Becker, Peter G. Green, Jayant BhatnagarWorcester, Mass. :Worcester Polytechnic Institute ;Hampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[1989]1 volumeNASA contractor report ;181810Title from title screen (viewed June 9, 2009)Computer techniquesnasatComputerized simulationnasatExpert systemsnasatKnowledge bases (artificial intelligence)nasatComputer techniques.Computerized simulation.Expert systems.Knowledge bases (artificial intelligence)Becker Lee A142780Green Peter G319217Bhatnagar Jayant1404681Langley Research Center.GPOGPOGPOBOOK9910698995503321Evidence flow graph methods for validation and verification of expert systems3479710UNINA