LEADER 01029cam0-22003131i-450-
001 990005336130403321
005 20111103143128.0
035   $a000533613
035   $aFED01000533613
035   $a(Aleph)000533613FED01
035   $a000533613
100   $a19990604f19001997km-y0itay50------ba
101 0 $afre
102   $aGR
105   $aa-------001yy
200 1 $a<<Les >>monuments d'Athenes$eguide archéologique, historique et artistique rélatif au monuments classiques, byzantins et modernes de la Ville d'Athènes$fAlex. Philadelpheus$gprèface par Eduard Driauld
210   $aAthenes$cs.e.$ds.d.
215   $aH, 400 p.$cill.$d17 cm
610 0 $aAtene$aGuide archeologiche
676   $a938.5$v21$zita
700  1$aPhiladelpheus,$bAlexandros$0494907
702  1$aDriault,$bÉdouard$f<1864-1947>
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005336130403321
952   $a938.5 PHI 1$bARCH. 13975$fFLFBC
959   $aFLFBC
996   $aMonuments d'Athenes$9599728
997   $aUNINA

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