01709nlm0 22004691i 450 9900092583304033219783540894391000925833FED01000925833(Aleph)000925833FED0100092583320100926d2008----km-y0itay50------baengDEdrnn-008mamaaLogic for Programming, Artificial Intelligence, and ReasoningRisorsa elettronica15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsedited by Jaime G. Carbonell, Jörg Siekmann, Iliano Cervesato, Helmut Veith, Andrei VoronkovBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435330Documento elettronicoTestoFormato html, pdfCarbonell,Jaime G.Cervesato,IlianoSiekmann,JörgVeith,HelmutVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-89439-1EB990009258330403321Artificial 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