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 Programming772537UNINA