01440nlm0 22004091i 450 9900092425504033219783540454595000924255FED01000924255(Aleph)000924255FED0100092425520100926d2006----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedingsedited by Zoltán ÉsikBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434207Documento elettronicoTestoFormato html, pdfÉsik,ZoltánITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11874683EB990009242550403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA