01413nlm0 22003971i 450 9900092463404033219783540318828000924634FED01000924634(Aleph)000924634FED0100092463420100926d2005----km-y0itay50------baengDEdrnn-008mamaaAbstraction, Reformulation and ApproximationRisorsa elettronica6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedingsedited by Jean-Daniel Zucker, Lorenza SaittaBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433607Documento elettronicoTestoFormato html, pdfSaitta,LorenzaZucker,Jean-DanielITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11527862EB990009246340403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesAbstraction, Reformulation and Approximation772062UNINA