01550nlm0 22004331i 450 9900092414604033219783540482826000924146FED01000924146(Aleph)000924146FED0100092414620100926d2006----km-y0itay50------baengDEdrnn-008mamaaLogic for Programming, Artificial Intelligence, and ReasoningRisorsa elettronica13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedingsedited by Miki Hermann, Andrei VoronkovBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434246Documento elettronicoTestoFormato html, pdfHermann,MikiVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11916277EB990009241460403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringLogic for Programming, Artificial Intelligence, and Reasoning772423UNINA