01422nlm0 22004091i 450 9900092479104033219783540318972000924791FED01000924791(Aleph)000924791FED0100092479120100926d2005----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedingsedited by Luke OngBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433634Documento elettronicoTestoFormato html, pdfOng,LukeITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11538363EB990009247910403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA