02159nlm0 22005771i 450 9900092554904033219783540787693000925549FED01000925549(Aleph)000925549FED0100092554920100926d2008----km-y0itay50------baengDEdrnn-008mamaaLogic-Based Program Synthesis and TransformationRisorsa elettronica17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersedited 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, Andy KingBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434915Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKing,AndyKittler,JosefKleinberg,Jon M.Mattern,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-78769-3EB990009255490403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesLogic Based Program Synthesis and Transformation772041UNINA