01210nam a2200325 i 450099100090133970753620020507175521.0950605s1980 de ||| | eng 0387905138b10773228-39ule_instLE01304053ExLDip.to Matematicaeng510AMS 26-01AMS 26-XXQA37.E38Edwards, Robert E.334907A formal background to mathematics 2 :a critical approach to elementary analysis /R. E. EdwardsNew York :Springer-Verlag,c19802 v. ;24 cm.UniversitextReal functionsReal functions-textbooks.b1077322823-02-1728-06-02991000901339707536LE013 26-XX EDW11 V.I (1980)V. 112013000029115le013-E0.00-l- 00000.i1087182228-06-02LE013 26-XX EDW11 V.II (1980)V. 212013000029122le013-E0.00-l- 00000.i1087183428-06-02Formal background to mathematics 2922699UNISALENTOle01301-01-95ma -engde 2201440oam 2200397Ka 450 991069454350332120050906110020.0(CKB)5470000002363256(OCoLC)54074643(EXLCZ)99547000000236325620040123d2003 ua 0engtxtrdacontentcrdamediacrrdacarrierAlternative governance[electronic resource] a tool for military laboratory reform /by Timothy Coffey, Kenneth W. Lackie, and Michael L. Marshall[Fort McNair, Washington, D.C.] :Center for Technology and National Security Policy, National Defense University,[2003]Defense horizons ;no. 34Title from title screen (viewed Jan. 23, 2004)."November 2003."Alternative governance Military researchUnited StatesGovernment corporationsUnited StatesMilitary researchGovernment corporationsCoffey Timothy1382639Lackie Kenneth W1383365Marshall Michael L1382641National Defense University.Center for Technology and National Security Policy.GPOGPOOCLCQBOOK9910694543503321Alternative governance3428125UNINA01048nam0 22003013i 450 UFI029123520231121125907.015586046771558605355Paperback20160126d1998 ||||0itac50 baengusz01i xxxe z01nArtificial intelligencea new synthesisNils J. NilssonSan FranciscoMorgan Kaufmannc1998XXI, 513 p.24 cm.Intelligenza artificialeFIRRMLC008129E006.320Nilsson, Nils J. <1933- >MILV05718007049584ITIT-0120160126IT-FR0099 Biblioteca Area IngegneristicaFR0099 UFI0291235Biblioteca Area Ingegneristica 54DAE 006.3 NIL 54VM 0000376055 VM barcode:ING450A. - Inventario:450AVMA 2004010220121204 54Artificial intelligence805512UNICAS