01106nam a2200265 i 4500991002565399707536140710s2011 it 001 0 ita 9788840015378b14195288-39ule_instDip.to di Storia, Società e Studi sull'Uomoita956.9405Zanini, Paolo<1981- >479980Aria di crociata :i cattolici italiani di fronte alla nascita dello Stato d'Israele (1945-1951) /Paolo Zanini ; prefazione di Luigi Bruti LiberatiMilano :Unicopli,2012263 p. ;21 cm.Percorsi del Novecento ;2Israele <Stato>Atteggiamento [dei] Cattolici italiani1945-1951 Israele <Stato>Storia1945-1951 Bruti Liberati, Luigi.b1419528805-09-1410-07-14991002565399707536LE023 956.94 ZAN 1 112023000168622le023pE17.00 l- 00000.i1562897831-07-14Aria di crociata258142UNISALENTOle02328-07-14ma -itait 0001451oam 2200445Ka 450 991069899020332120090612103409.0(CKB)5470000002397970(OCoLC)391426325(EXLCZ)99547000000239797020090612d1989 ua 0engtxtrdacontentcrdamediacrrdacarrierFormal verification of AI software[electronic resource] /John Rushby, R. Alan WhitehurstHampton, Va. :National Aeronautics and Space Administration, Langley Research Center,[1989]1 volumeNASA contractor report ;181827Title from title screen (viewed June 11, 2009)Artificial intelligencenasatComputer systems performancenasatExpert systemsnasatLogic programmingnasatTheorem provingnasatArtificial intelligence.Computer systems performance.Expert systems.Logic programming.Theorem proving.Rushby John1949-1409065Whitehurst R. Alan1409066Langley Research Center.GPOGPOGPOBOOK9910698990203321Formal verification of AI software3494572UNINA