01498nlm0 22004211i 450 9900092556604033219783540789697000925566FED01000925566(Aleph)000925566FED0100092556620100926d2008----km-y0itay50------baengDEdrnn-008mamaaFunctional and Logic ProgrammingRisorsa elettronica9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsedited by Jacques Garrigue, Manuel V. HermenegildoBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434989Documento elettronicoTestoFormato html, pdfGarrigue,JacquesHermenegildo,Manuel V.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78969-7EB990009255660403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesFunctional and Logic Programming772537UNINA01708nam 2200517 a 450 991077802630332120230721022304.00-309-17757-X0-309-13657-1(CKB)1000000000785817(OCoLC)431471414(CaPaEBR)ebrary10290042(SSID)ssj0000219784(PQKBManifestationID)11196430(PQKBTitleCode)TC0000219784(PQKBWorkID)10247768(PQKB)10845478(MiAaPQ)EBC3378475(Au-PeEL)EBL3378475(CaPaEBR)ebr10290042(OCoLC)923280169(EXLCZ)99100000000078581720090928d2009 uy 0engurcn|||||||||txtccrA performance assessment of NASA's heliophysics program[electronic resource] /Committee on Heliophysics Performance Assessment, Space Studies Board, Division on Engineering and Physical Sciences, National Research Council of the National AcademiesWashington, D.C. National Academies Press20091 online resource (77 p.) Bibliographic Level Mode of Issuance: Monograph0-309-13656-3 Includes bibiliographical references.Heliosphere (Astrophysics)Solar windHeliosphere (Astrophysics)Solar wind.523.5/8MiAaPQMiAaPQMiAaPQBOOK9910778026303321A performance assessment of NASA's heliophysics program3867250UNINA