LEADER 01170nam0-22002891i-450-
001 990007751340403321
035   $a000775134
035   $aFED01000775134
035   $a(Aleph)000775134FED01
035   $a000775134
100   $a20021010d--------km-y0itay50------ba
101 0 $aita
200 1 $aCodice della navigazione e relativi regolamenti$eAnnotati con la giurisprudenza e con richiami di dottrinae di legislazione vigente e integrati con Il nuovo regolam. per la sicurezza della navig. e della vita umana in mare. Il piccolo cod. della nav. da diporto e relativi regolamenti. Le convenzioni internaz. introdotte nell'ordinamento giuridico italiano. Gli usi internaz. in
210   $aMilano$cGiuffre'$d1982.
215   $a740 p. 18 cm
300   $aSul front.: Appendice di agg. alla quarta edizione compl. rielaborata e agg.
676   $a348
702  1$aRighetti,$bGiorgio
710 02$aItalia$0423419
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007751340403321
952   $a29-COD-66$b2380 nav.$fDDCP
959   $aDDCP
996   $aCodice della navigazione e relativi regolamenti$9191773
997   $aUNINA
DB    $aGEN01

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