01587nlm0 22004331i 450 9900092387204033219783540322757000923872FED01000923872(Aleph)000923872FED0100092387220100926d2005----km-y0itay50------baengDEdrnn-008mamaaLogic for Programming, Artificial Intelligence, and ReasoningRisorsa elettronica11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedingsedited by Franz Baader, Andrei VoronkovBerlin ; HeidelbergSpringer2005Lecture notes in computer scienceLecture notes in artificial intelligence0302-97433452Documento elettronicoTestoFormato html, pdfBaader,FranzVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b106931EB990009238720403321Artificial 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