02248nlm0 22006011i 450 9900092571504033219783540875314000925715FED01000925715(Aleph)000925715FED0100092571520100926d2008----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone MartiniBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435213Documento elettronicoTestoFormato html, pdfHutchison,DavidKaminski,MichaelKanade,TakeoKittler,JosefKleinberg,Jon M.Martini,SimoneMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-87531-4EB990009257150403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA