02285nlm0 22006251i 450 9900092594604033219783642005152000925946FED01000925946(Aleph)000925946FED0100092594620100926d2009----km-y0itay50------baengDEdrnn-008mamaaLogic-Based Program Synthesis and TransformationRisorsa elettronica18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, 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, Michael HanusBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435438Documento elettronicoTestoFormato html, pdfHanus,MichaelHutchison,DavidKanade,TakeoKittler,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-642-00515-2EB990009259460403321AlgorithmsAlgorithmsArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringLogic Based Program Synthesis and Transformation772041UNINA