01554nlm0 22004331i 450 9900092388804033219783540316503000923888FED01000923888(Aleph)000923888FED0100092388820100926d2005----km-y0itay50------baengDEdrnn-008mamaaLogic for Programming, Artificial Intelligence, and ReasoningRisorsa elettronica12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedingsedited by Geoff Sutcliffe, Andrei VoronkovBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433835Documento elettronicoTestoFormato html, pdfSutcliffe,GeoffVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11591191EB990009238880403321Artificial 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