01516nlm0 22004211i 450 9900092420804033219783540749158000924208FED01000924208(Aleph)000924208FED0100092420820100926d2007----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedingsedited by Jacques Duparc, Thomas A. HenzingerBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434646Documento elettronicoTestoFormato html, pdfDuparc,JacquesHenzinger,Thomas A.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74915-8EB990009242080403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA