00927nam 2200253la 450 991048237880332120210618143335.0(UK-CbPIL)2090331336(CKB)5500000000091384(EXLCZ)99550000000009138420210618d1612 uy |duturcn||||a|bb|Sendt-Brief etc. ... Ivstii Lipsii Nae de Copye Gedruct tot Dusseldorp, by VVernar van der Horst[electronic resource][s.l.] [s.n.]1612Online resource (8 p, 4°)Reproduction of original in Koninklijke Bibliotheek, Nationale bibliotheek van Nederland.Lipsius Justus1547-1606.391928Uk-CbPILUk-CbPILBOOK9910482378803321Sendt-Brief etc. ... Ivstii Lipsii Nae de Copye Gedruct tot Dusseldorp, by VVernar van der Horst2025472UNINA01711 am 2200505 n 450 9910136478003321201606072-7535-4564-210.4000/books.pur.35222(CKB)3710000000873390(PPN)261784315(FrMaCLE)OB-pur-35222(oapen)https://directory.doabooks.org/handle/20.500.12854/48612(PPN)197597807(EXLCZ)99371000000087339020160927j|||||||| ||| 0freuu||||||m||||txtrdacontentcrdamediacrrdacarrierGide et Guéhenno polémiquent /Paul PhocasRennes Presses universitaires de Rennes20161 online resource (102 p.) Deux intellectuels dans les années trente, l'un fils de cordonnier l'autre de grand bourgeois, polémiquent sur le nationalisme, les procès de Moscou et la Révolution, la guerre d'Espagne, le Front populaire, l'homme de série et le culte de la différence puis, tentés par l'injure, ils se taisent par estime.Literature (General)André GideJean GuéhénnopolitiquepolémiqueAndré GidepolitiquepolémiqueJean GuéhénnoLiterature (General)André GideJean GuéhénnopolitiquepolémiquePhocas Paul1314656FR-FrMaCLEBOOK9910136478003321Gide et Guéhenno polémiquent3031896UNINA01451oam 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