LEADER 01321nam--2200397---450-
001 990002082500203316
005 20050607090341.0
010   $a0-521-62576-9
035   $a000208250
035   $aUSA01000208250
035   $a(ALEPH)000208250USA01
035   $a000208250
100   $a20041014d2000----km-y0itaa50------ba
101   $aeng
102   $aGB
105   $aa|||||||001yy
200 1 $aObjective First Certificate$estudent's book$fAnnette Capel, Wendy Sharp
210   $aCambridge$cCambridge University Press$d2000
215   $a208 p.$cill.$d28 cm
300   $aSul front.: Cambridge Books for Cambridge Exams
606 0 $aLingua inglese$xTesti per l'insegnamento
676   $a428
700  1$aCAPEL,$bAnnette$0567347
701  1$aSHARP,$bWendy$0567348
801  0$aIT$bsalbc$gISBD
912   $a990002082500203316
951   $aVII.3.D. 336(II i D 396)$b177662 L.M.$cII i D$d00115644
951   $aVII.3.D. 336a(II i D 396 BIS)$b177661 L.M.$cII i D$d00115634
951   $aVII.3.D. 336b(II i D 396 A)$b177660 L.M.$cII i D$d00115630
959   $aBK
969   $aUMA
979   $aACQUISTI$b10$c20041014$lUSA01$h1230
979   $aMARIASEN$b90$c20050218$lUSA01$h1655
979   $aCOPAT6$b90$c20050607$lUSA01$h0903
996   $aObjective First Certificate$91042742
997   $aUNISA

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