01564nlm0 22004331i 450 9900092461304033219783540755609000924613FED01000924613(Aleph)000924613FED0100092461320100926d2007----km-y0itay50------baengDEdrnn-008mamaaLogic for Programming, Artificial Intelligence, and ReasoningRisorsa elettronica14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedingsedited by Nachum Dershowitz, Andrei VoronkovBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434790Documento elettronicoTestoFormato html, pdfDershowitz,NachumVoronkov,AndreiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-75560-9EB990009246130403321Artificial 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