LEADER 01595oam  2200433Ka 450 
001 9910698995503321
005 20090610110111.0
035   $a(CKB)5470000002397916
035   $a(OCoLC)383688224
035   $a(EXLCZ)995470000002397916
100   $a20090610d1989      ua             0
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEvidence flow graph methods for validation and verification of expert systems$b[electronic resource] /$fLee A. Becker, Peter G. Green, Jayant Bhatnagar
210  1$aWorcester, Mass. :$cWorcester Polytechnic Institute ;$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[1989]
215   $a1 volume
225 1 $aNASA contractor report ;$v181810
300   $aTitle from title screen (viewed June 9, 2009)
606   $aComputer techniques$2nasat
606   $aComputerized simulation$2nasat
606   $aExpert systems$2nasat
606   $aKnowledge bases (artificial intelligence)$2nasat
615  7$aComputer techniques.
615  7$aComputerized simulation.
615  7$aExpert systems.
615  7$aKnowledge bases (artificial intelligence)
700   $aBecker$b Lee A$0142780
701   $aGreen$b Peter G$0319217
701   $aBhatnagar$b Jayant$01404681
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910698995503321
996   $aEvidence flow graph methods for validation and verification of expert systems$93479710
997   $aUNINA