LEADER 01451oam  2200445Ka 450 
001 9910698990203321
005 20090612103409.0
035   $a(CKB)5470000002397970
035   $a(OCoLC)391426325
035   $a(EXLCZ)995470000002397970
100   $a20090612d1989      ua             0
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal verification of AI software$b[electronic resource] /$fJohn Rushby, R. Alan Whitehurst
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[1989]
215   $a1 volume
225 1 $aNASA contractor report ;$v181827
300   $aTitle from title screen (viewed June 11, 2009)
606   $aArtificial intelligence$2nasat
606   $aComputer systems performance$2nasat
606   $aExpert systems$2nasat
606   $aLogic programming$2nasat
606   $aTheorem proving$2nasat
615  7$aArtificial intelligence.
615  7$aComputer systems performance.
615  7$aExpert systems.
615  7$aLogic programming.
615  7$aTheorem proving.
700   $aRushby$b John$f1949-$01409065
701   $aWhitehurst$b R. Alan$01409066
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910698990203321
996   $aFormal verification of AI software$93494572
997   $aUNINA