01473nlm0 22004211i 450 9900092445704033219783540334392000924457FED01000924457(Aleph)000924457FED0100092445720100926d2006----km-y0itay50------baengDEdrnn-008mamaaFunctional and Logic ProgrammingRisorsa elettronica8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedingsedited by Masami Hagiya, Philip WadlerBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433945Documento elettronicoTestoFormato html, pdfHagiya,MasamiWadler,PhilipITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11737414EB990009244570403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesFunctional and Logic Programming772537UNINA